萩野 達也 | 数理解析研究所
スポンサーリンク
概要
関連著者
著作論文
- 情報処理デジタルキャンパス実験クラス (特集 多言語主義の可能性--国民国家を超えて)
- 次世代Web技術 セマンティックWeb--Webに意味情報を与え機械で処理可能に
- カテゴリー理論的関数型プログラミング言語
- エディンバラ報告
- 「セマンティックWeb」入門(2)意味情報の正体に迫る 概念モデルで意味を表現,語いの定義が重要に
- Communicating Sequential Processesの数学モデル(同期の数理)