森口 草介 | 東京工業大学大学院情報理工学研究科計算工学専攻

スポンサーリンク

概要

• 森口 草介の詳細を見る
• 同名の論文著者
• 東京工業大学大学院情報理工学研究科計算工学専攻の論文著者

関連著者

• 森口 草介

  東京工業大学大学院情報理工学研究科計算工学専攻

• 森口 草介

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 渡部 卓雄

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 渡部 卓雄

  東京工業大学大学院情報理工学研究科計算工学専攻

• 渡部 卓雄

  東京工業大学

• 森口 草介

  東京工業大学情報理工学研究科

• 山田 一宏

  東京工業大学・大学院情報理工学研究科・計算工学専攻

• 西崎 真也

  京工業大学大学院情報理工学研究科

• 西崎 真也

  東京工業大学

• 西崎 真也

  東京工業大学大学院情報理工学研究科

• 安原 由貴

  東京工業大学大学院情報理工学研究科計算工学専攻

もっと見る 閉じる

著作論文

• LMC : ポイントカット・アドバイスモデルの計算
• アスペクト指向言語における操作の抽象化方式
• プログラム変換を用いたポインタ操作プログラムの検証にむけて--Morrisの二分木走査アルゴリズムによるケーススタディ (ソフトウェアサイエンス)
• 証明支援系を用いたMorrisの二分木走査アルゴリズムの検証
• 証明支援系Coqのプログラムに対する対話的修正機構の提案
• プログラム変換を用いたポインタ操作プログラムの検証にむけて : Morrisの二分木走査アルゴリズムによるケーススタディ
• 定理証明支援系Coqへの対話的修正機構の導入 (プログラミング Vol.5 No.4)
• 実時間システム向け文脈指向言語ProcneJ

スポンサーリンク