Engineering journal

カテゴリー: 計算機科学

「計算機科学」カテゴリーの記事一覧です。

読書メモ:数学ガール3 ゲーデルの不完全性定理

早速、以前読んだ「数学ガール/フェルマーの最終定理(数学ガールシリーズ 2)」の続編である「数学ガール/ゲーデルの不完全性定理(数学ガールシリーズ 3)」を読みました。前作や前々作も十分に読み応えがありましたが、今回はさ […]

Read more: 読書メモ:数学ガール3 ゲーデルの不完全性定理

読書メモ:数学ガール2 フェルマーの最終定理

以前、読書メモを書いた『数学ガール』の続編です。今回もコンピュータサイエンスでよく使われるトピックが多く、非常に役立ちました。 『数学ガール2』では、背理法、複素数、格子点、群・環・体、無限降下法、楕円曲線、オイラーの公 […]

Read more: 読書メモ:数学ガール2 フェルマーの最終定理

読書メモ:暗号の理論と技術 量子時代のセキュリティ理解のために

近年では、これまでに「暗号と認証のしくみと理論がこれ1冊でしっかりわかる教科書」や「ゼロ知識証「暗号と認証のしくみと理論がこれ1冊でしっかりわかる教科書」や「ゼロ知識証明入門」を通して最近の暗号技術を確認し、暗号理論と関 […]

Read more: 読書メモ:暗号の理論と技術 量子時代のセキュリティ理解のために

読書メモ:暗号理論と楕円曲線ー数学的土壌の上に花開く暗号技術ー

この本は、本格的な暗号理論に関するもので、以前から理解したいと思っていた楕円曲線暗号の数学的背景について学ぶために購入しました。事前に、「暗号と認証のしくみと理論がこれ1冊でしっかりわかる教科書」や「ゼロ知識証明入門」を […]

Read more: 読書メモ:暗号理論と楕円曲線ー数学的土壌の上に花開く暗号技術ー

読書メモ:群論への第一歩 集合、写像から準同型定理まで

「暗号と認証のしくみと理論がこれ1冊でしっかりわかる教科書」と「ゼロ知識証明入門」を通して、最新の暗号技術についてキャッチアップを行いました。開発された暗号モジュールを利用する場面においては、技術的特性の理解が中心となる […]

Read more: 読書メモ:群論への第一歩 集合、写像から準同型定理まで

読書メモ:セマンティック・ウェブのためのRDF/OWL入門

スキルの棚卸のため、こちらも過去読んだ本について書きます。 「Linked Data: Webをグローバルなデータ空間にする仕組み」でも触れましたが、セマンティック・ウェブという、データに意味=セマンティックを持たせて検 […]

Read more: 読書メモ:セマンティック・ウェブのためのRDF/OWL入門