Clojure core.logicとminiKanren
Clojureでの論理プログラミング、miniKanren、Core.logic
人工知能:Artificial Intelligence
Prologと知識情報処理
人工知能、論理プログラミングに用いられるProlog概要
保護中: 公開鍵暗号法アルゴリズム
初心者の教育のための公開鍵暗号アルゴリズム
深層学習手法の全体像
初心者のための深層学習の概要、人工知能学会による分類、階層的ニューラルネット、符号器、制限ボルツマンマシン
保護中: 誤り訂正符号アルゴリズム
誤り訂正符号アルゴリズム概要、自分で誤りを訂正するアルゴリズム、ハミング符号、チェックサムトリック、二次元パリティ
保護中: 決定不能性の証明
アルゴリズムの限界を見極めるアルゴリズム、決定不能性の証明、計算できない問題について
保護中: データ圧縮アルゴリズム(2) ロスあり圧縮
データ圧縮アルゴリズムの概要、ロスありデータ圧縮アルゴリズム、除外トリック、コンテンツ要約
保護中: データ圧縮アルゴリズム(1) ロスなし圧縮
データ圧縮アルゴリズムの概要、ロスなしデータ圧縮アルゴリズム、Rule Length Encoding:連長圧縮、ZIPコード圧縮、FAX圧縮、メモリ圧縮
保護中: データベースのアルゴリズム(2)リレーショナルデータベース
データベースのアルゴリズムの基礎、リレーショナルデータベースの原理とSQL、プライマリキーとクエリ
保護中: データベースのアルゴリズム(1)データベースの一貫性
データベースのアルゴリズム基礎、データ構造と一貫性とバックアップ、2段階コミットとアトミック性、ロールバック、トランザクション