中川 中 | 情報処理振興事業協会(IPA)技術センター

スポンサーリンク

概要

• 同名の論文著者
• 情報処理振興事業協会(IPA)技術センター の論文著者

関連著者

• 中川 中

  (株)SRAソフトウエアエ学研究所

• 中川 中

  情報処理振興事業協会(IPA)技術センター

• 本間 毅寛

  (株)SRAソフトウエア工学研究所

• 谷津 弘一

  情報処理振興事業協会(ipa)技術センター

• 澤田 寿実

  (株)sra

• 本間 毅寛

  情報処理振興事業協会

• 二木 厚吉

  北陸先端科学技術大学院大学情報科学研究科

• 本間 毅寛

  情報処理振興事業協会(IPA)技術センター

• 石黒 正揮

  株式会社三菱総合研究所

• 井上 直

  情報処理振興事業協会

• 井上 直

  情報処理振興事業協会(ipa)

• 二木 厚志

  北陸先端科学技術大学院大学

• 石黒 正揮

  三菱総合研究所

もっと見る 閉じる

著作論文

• 代数仕様言語CafeOBJのパラメータ化機構
• 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
• 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
• 等式論理系における制約解消による証明支援環境構築の試み
• 代数的仕様記述言語CafeOBJ

スポンサーリンク