萩谷 昌己 | 東京大学大学院情報理工学系研究科
スポンサーリンク
概要
関連著者
-
萩谷 昌己
東京大学大学院情報理工学系研究科
-
萩谷 昌己
東京大学
-
萩谷 昌己
京都大学数理解析研究所
-
萩谷 昌己
東京大学大学院理学系研究科
-
高橋 孝一
産業技術総合研究所
-
齋藤 孝道
明治大学
-
溝口 文雄
東京理科大学
-
西川 明男
大阪電気通信大学短期大学部電子情報学科
-
鬼頭 利之
株式会社東芝研究開発センター
-
山本 光晴
千葉大学理学部
著作論文
- 記念大会を終えて : 情報処理学会創立50周年記念(第72回)全国大会速報(トピックス,50周年記念特集号)
- 数理的技法による情報セキュリティの検証(数理的技法による情報セキュリティ)
- 記念大会を終えて : 情報処理学会創立50周年記念 (第72回) 全国大会速報
- 並列ごみ集めの抽象モデル検査の形式的証明
- モデル検査系を用いたプログラム発見(「定理証明, 推論関係の新技術」)
- 正則表現を用いた並列ごみ集めの抽象モデル検査
- 図形を用いた推論の基礎づけ (「図による推論」)
- 分子計算とその物理的基礎
- タクティクからのプログラム抽出とその応用
- JAVA2のPermission機構のモデル化と実験