澤田 寿実 | (株)sra
スポンサーリンク
概要
関連著者
-
澤田 寿実
(株)sra
-
中川 中
(株)SRAソフトウエアエ学研究所
-
谷津 弘一
情報処理振興事業協会(ipa)技術センター
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
本間 毅寛
(株)SRAソフトウエア工学研究所
-
石曽根 信
(株)SRA
-
中川 中
情報処理振興事業協会(IPA)技術センター
-
本間 毅寛
情報処理振興事業協会(IPA)技術センター
-
本間 毅寛
情報処理振興事業協会
-
緒方 和博
北陸先端科学技術大学院大学情報科学研究科
-
才所 敏明
東芝
-
才所 敏明
株式会社 東芝
-
星野 洋
株式会社 東芝
-
山本 孝志
株式会社 東芝
-
澤田 寿実
株式会社 SRA
-
生沼 達哉
株式会社 SRA
-
飯山 孝司
株式会社 SRA
-
Diaconescu Razvan
北陸先端科学技術大学院大学
-
二木 厚志
北陸先端科学技術大学院大学
-
中川 中
(社)情報処理振興事業協会
-
本間 毅寛
(社)情報処理振興事業協会
-
谷津 弘一
(社)情報処理振興事業協会
-
山本 孝志
(株)富士通静岡エンジニアリング
-
緒方 和博
北陸先端科学技術大学院大学
著作論文
- EWS(AS3000シリーズ)用AIツール : KCLとUNIFYとの結合
- 定理証明システムのための統合サーバの作成
- 項書換え系に基づく定理証明支援環境の構築
- 項書換え抽象機械における組み込み演算の処理
- 代数仕様言語CafeOBJのパラメータ化機構
- 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
- 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
- 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
- 実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論