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

スポンサーリンク

概要

• 中川 中の詳細を見る
• 同名の論文著者
• (株)SRAソフトウエアエ学研究所の論文著者

関連著者

• 中川 中

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

• 本間 毅寛

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

• 谷津 弘一

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

• 二木 厚吉

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

• 澤田 寿実

  (株)sra

• 中川 中

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

• 本間 毅寛

  情報処理振興事業協会

• 本間 毅寛

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

• 瀬尾 明志

  日本ユニシス株式会社

• 石黒 正揮

  株式会社三菱総合研究所

• 井上 直

  情報処理振興事業協会

• 井上 直

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

• 石曽根 信

  (株)SRA

• Diaconescu Razvan

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

• 二木 厚志

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

• 中川 中

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

• 本間 毅寛

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

• 谷津 弘一

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

• 石黒 正揮

  三菱総合研究所

• 中川 中

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

• 瀬尾 明志

  日本ユニシス(株)

もっと見る 閉じる

著作論文

• 項書換え系に基づく定理証明支援環境の構築
• 代数仕様言語CafeOBJのパラメータ化機構
• 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
• 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
• 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
• 実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論
• CafeOBJによるプロセス記述ライブラリの作成
• 等式論理系における制約解消による証明支援環境構築の試み
• 等式論理系における制約解消による証明記述の枠組み
• 代数的仕様記述言語CafeOBJ

スポンサーリンク