読書メモ：ゼロ知識証明入門
ゼロ知識証明の概要やメリットについては、前回読んだ「暗号と認証のしくみと理論がこれ1冊でしっかりわかる教科書」およびethereum.orgの「ゼロ知識証明」の記事やその技術を応用した「ゼロ知識ロールアップ」である程度理 […]
計算機科学 アーカイブ - Solid Oak
読書メモ：データ指向アプリケーションデザイン
スキルの棚卸のため、こちらも過去読んだ本について書きます。 こちらの本の内容を端的に言うと、RedisやグラフデータベースなどのNoSQL（Not only SQL) やデータベースの分散化（シャーディング、レプリケーシ […]
読書メモ：セマンティック・ウェブのためのRDF/OWL入門
スキルの棚卸のため、こちらも過去読んだ本について書きます。 「Linked Data: Webをグローバルなデータ空間にする仕組み」でも触れましたが、セマンティック・ウェブという、データに意味＝セマンティックを持たせて検 […]
読書メモ：Linked Data: Webをグローバルなデータ空間にする仕組み
スキルの棚卸のため、こちらも過去読んだ本について書きます。 Linked Dataは、RDF (Resource Description Framework）などを利用し、WEBで公開するデータに意味＝セマンティックをメ […]
読書メモ：アンダースタンディングコンピュテーション
スキルの棚卸のため、こちらも過去読んだ本について書きます。 自分のように、大学などで情報工学を専攻しなかった場合、有限オートマトンやチューリングマシンなどのトピックは、情報処理技術者試験で流しで学習する程度というのが多い […]
読書メモ：コンピュータシステムの理論と実装
スキルの棚卸のため、こちらも過去読んだ本について書きます。 日本においてSIerや社内ITなどの多くのITエンジニアは、大学などで情報工学を学ばずにエンジニアをしていることと思います。 自分も（社会人入学により大学院で情 […]