二木 厚吉 | 北陸先端科学技術大学院大学情報科学研究科
スポンサーリンク
概要
関連著者
-
二木 厚吉
北陸先端科学技術大学院大学情報科学研究科
-
緒方 和博
北陸先端科学技術大学院大学
-
緒方 和博
北陸先端科学技術大学院大学情報科学研究科
-
中村 正樹
金沢大学理工学域電子情報学類
-
中村 正樹
北陸先端科学技術大学院大学情報科学研究科
-
中村 正樹
金沢大学 理工学域 電子情報学類
-
五百蔵 重典
北陸先端科学技術大学院大学情報科学研究科 : (現)神奈川工科大学
-
Nakamura Masaki
Kanazawa Univ. Kanazawa‐shi Jpn
-
松本 充広
北陸先端科学技術大学院大学情報科学研究科:(株)pfu第一事業部
-
Nakamura Masaki
School Of Electrical And Computer Engineering Kanazawa University
-
谷津 弘一
情報処理振興事業協会(ipa)技術センター
-
中川 中
(株)SRAソフトウエアエ学研究所
-
澤田 寿実
(株)sra
-
本間 毅寛
(株)SRAソフトウエア工学研究所
-
松本 充広
(株)PFU研究所
-
清野 貴博
北陸先端大
-
本間 毅寛
情報処理振興事業協会(IPA)技術センター
-
本間 毅寛
情報処理振興事業協会
-
清野 貴博
北陸先端科学技術大学院大学情報科学研究科
-
渡部 卓雄
北陸先端科学技術大学院大学
-
飯田 周作
北陸先端科学技術大学院大学情報科学研究科
-
海野 浩
北陸先端科学技術大学院大学情報科学研究科
-
緒方 和博
NECソフトウェア北陸
-
平田 寛道
北陸先端科学技術大学院大学情報科学研究科
-
竹内 郁雄
東京大学大学院情報理工学系研究科創造情報学専攻
-
五百蔵 重典
神奈川工科大学情報学部
-
二木 厚吉
電総研
-
竹内 郁雄
NTT基礎研
-
柴山 悦哉
龍谷大
-
片山 卓也
東京工業大学
-
渡部 卓雄
東京工業大学大学院情報理工学研究科計算工学専攻
-
中川 中
情報処理振興事業協会(IPA)技術センター
-
二木 厚吉
北陸先端大
-
原 光太朗
北陸先端科学技術大学院大学
-
五百蔵 重典
神奈川工科大学 情報工学科
-
二木 厚吉
電子技術総合研究所
-
金藤 栄孝
株式会社日立製作所システム開発研究所
-
五百蔵 重典
神奈川工科大学 情報学部 情報工学科
-
五百蔵 重典
神奈川工科大
-
竹内 彰一
ソネットエンタテインメント株式会社
-
村井 純
慶大
-
佐藤 雅彦
京都大学大学院情報学研究科
-
竹内 郁雄
電気通信大学情報工学科
-
佐藤 雅彦
東北大学電気通信研究所
-
新田 義彦
日立基礎研
-
田村 直良
東工大
-
田中 穂積
東工大
-
郡司 隆男
阪大
-
竹内 彰一
三菱
-
所 真理雄
慶大
-
後藤 滋樹
NTT基礎研
-
柴山 悦哉
東工大
-
新田 克己
電総研
-
國藤 進
富士通国際研
-
諏訪 基
電総研
-
伊藤 貴康
東北大
-
牛島 和夫
九大
-
横井 俊夫
ICOT
-
徳田 雄洋
山梨大
-
村岡 洋一
早大
-
辻 尚史
筑波大
-
一松 信
京大数解研
-
上林 弥彦
九大
-
片山 卓也
北陸先端科学技術大学院大学
-
落水 浩一郎
北陸先端科学技術大学院大学情報科学研究科
-
島津 明
北陸先端科学技術大学院大
-
石川 洋
福山大学工学部
-
天野 憲樹
岡山大学教育開発センター
-
伊藤 貴康
東北大学
-
所 真理雄
東工大
-
徳田 雄洋
ICOT
-
石川 洋
福山大学工学部情報処理工学科
-
田中 穂積
東京工業大学工学部情報工学科
-
牛島 和夫
九州産業大学
-
東条 敏
北陸先端科学技術大学院大学情報科学研究科
-
一松 信
東京電機大学理工学部鳩山校舎
-
一松 信
東京電機大学
-
島津 明
北陸先端科学技術大学院大学情報科学科
-
大堀 淳
東北大学電気通信研究所
-
上田 和紀
早稲田大学理工学部コンピュータ・ネットワーク工学科
-
中野 昌弘
北陸先端科学技術大学院大学
-
安村 通晃
慶大
-
中島 震
NEC C&C研究所
-
東条 敏
北陸先端科学大学院大学 情報科学研究科
-
落水 浩一郎
北陸先端科学技術大学院大学
-
落水 浩一郎
北陸先端大
-
大堀 淳
沖電気
-
上田 和紀
ICOT
-
萩谷 昌己
京大
-
奥村 滋
北陸先端科学技術大学院大学 情報科学研究科
-
中島 震
Necネットワーキング研究所
-
中島 震
日本電気(株)c&cシステム研究所
-
田中 穂積
東京工業大学情報理工学研究科
-
片山 卓也
神奈川工科大学情報学部情報工学科
-
来間 啓伸
(株)日立製作所
-
柴山 悦哉
龍谷大学 理工学部
-
竹内 郁雄
NTT 基礎研究所
-
片山 卓也
中部大学大学院
-
石曽根 信
(株)SRA
-
Diaconescu Razvan
北陸先端科学技術大学院大学
-
中川 中
(社)情報処理振興事業協会
-
本間 毅寛
(社)情報処理振興事業協会
-
谷津 弘一
(社)情報処理振興事業協会
-
浅羽 義之
北陸先端科学技術大学院大学情報科学研究科
-
天野 憲樹
北陸先端科学技術大学院大学情報科学研究科
-
El-Nashar Alaa
Minia University
-
孔 維強
北陸先端科学技術大学院大学 情報科学研究科
-
渡辺 真啓
北陸先端科学技術大学院大学情報科学研究科
-
島津 明
北陸先端科学技術大学院大学情報科学研究科
-
後藤 滋樹
Ntt
-
Senachak Jittisak
北陸先端大
-
緒方 和博
(株) NECソフトウェア北陸
-
森 彰
北陸先端科学技術大学院大学 情報科学研究科
-
来間 啓伸
株式会社日立製作所システム開発研究所
-
中島 震
Nec C&c メディア研究所
-
牛島 知夫
九州大学
-
大原 幸一
北陸先端科学技術大学院大学
-
天野 憲樹
岡山大学
-
新田 義彦
日本大学理工学部
-
大堀 淳
東北大学
-
緒方 和博
(株)NECソフトウェア北陸
-
菅原 太郎
北陸先端科学技術大学院大学情報
-
有本 泰仁
北陸先端科学技術大学院大学
-
Kokichi Futatsugi
北陸先端科学技術大学院大学情報科学研究科
-
兼 英樹
北陸先端科学技術大学院大学
-
佐藤 雅彦
東北大
-
市山 洋乃
北陸先端科学技術大学院大学情報科学研究科
-
荒木 啓二郎
北陸先端科学技術大学院大学情報科学研究科
-
竹内 郁雄
NTT ソフトウェア研究所
著作論文
- ソフトウェア科学会第3回大会
- B-2 代数仕様言語CafeOBJにおけるモデル検査(プログラムの理論,B.ソフトウェア)
- AS-3-3 代数仕様に基づく実時間システムの検証(AS-3.コンカレントシステム理論の最近の発展とその応用,シンポジウムセッション)
- 電子社会と法令工学(法情報学最前線)
- パネル討論会 : 理輪は実践を導けるか,実践は理論を生かせるか? : 第1回プログラミング : 言語・基礎・実践 研究会報告
- 項書換えコンパイラに関する一考察
- 項書換え系に基づく定理証明支援環境の構築
- 実行可能な形式仕様言語CafeOBJ(4) : CafeOBJによるZ仕様のアニメーションの枠組み
- 実行可能な形式仕様言語cafeOBJ(3) : CafeOBJによるオブジェクト指向システムの仕様記述ライブラリの記述
- 実行可能な形式仕様言語CafeOBJ(2) : Cafeシステムの核アーキテクチャ
- 実行可能な形式仕様言語CafeOBJ(1) : CafeOBJの宣言的意味論
- 振舞仕様に基づくシステムの記述方法
- 代数仕様言語OBJによる並行分散システムの形式仕様作成法
- RB-003 An algebraic specification of message passing programming languages
- CafeOBJ入門(6) : 通信プロトコルの検証
- CafeOBJ入門(5) : 認証プロトコルの検証
- CafeOBJ入門(4) : 証明譜による検証法(エージェント)
- CafeOBJ入門(3) : 等式推論と項書換システム
- Maude : 書換え論理に基づく計算機言語および処理系(ソフトウェア紹介)
- CafeOBJ入門(2) : 構文と意味
- CafeOBJ入門(1) : 形式手法とCafeOBJ
- LA-008 実行可能な代数仕様の停止性証明について(モデル・アルゴリズム・プログラミング)
- モジュラーな代数仕様言語のための項書き換えシステム(システム検証の科学技術)
- OTS/CafeOBJからOTS/Maudeへの仕様変換の研究
- 項書き換えシステムにおける可簡約演算子とその応用
- 項書き換えシステムにおける可簡約演算子とその応用
- STSプロトコルの形式化と検証によるCafeOBJとCoqの比較
- B-036 代数仕様言語CafeOBJと証明支援系CoqによるSTSプロトコルの形式化と検証(B.ソフトウェア)
- B-034 隠蔽代数に基づく命令型プログラム言語の意味論の記述と検証(B.ソフトウェア)
- LA-005 項書換えシステムにおける可簡約演算子とその応用(A. モデル・アルゴリズム・プログラミング)
- B-1 代数仕様言語CafeOBJのための拡張可能な前処理系(プログラムの理論,B.ソフトウェア)
- 項書換え抽象機械TRAMの設計と実装
- 検証を考慮した仕様記述の指針に関する研究
- 検証を考慮した仕様記述の指針に関する研究
- モジュールシステムの要求仕様と設計仕様
- モジュールシステムを備える書換え抽象機械の提案
- 超並列項書換えシステムの実装と評価
- 超並列項書換えシステムの実装と評価
- 超並列項書換えシステムの実装と評価(並列・分散)
- 代数仕様によるZ仕様の検証支援
- CafeOBJによるプロセス記述ライブラリの作成
- CafeOBJによるODPトレーダ仕様の記述
- B-035 Provably Correct Translation from OTS/CafeOBJ Specifications to Java Programs
- 項書換えを用いた安全性検証の組織化(ソフトウェア工学の基礎)
- 代数仕様言語CafeOBJによる実時間システムの仕様記述と検証の一例 : timed two-process raceの仕様記述と検証
- 代数仕様言語CafeOBJにおける高信頼システムの記述に関する一考察
- Java仮想機械の形式仕様
- テスト集合余帰納法を用いた振舞等式の検証
- 高信頼コンポーネントソフトウェアの開発支援ツール
- コンポーネントソフトウェア開発用軽量フォーマルメソッド
- 振舞意味論を用いた詳細化検証 : オブジェクト合成と非観測射影演算を用いた新しいアプローチ
- 振舞意味論に基づく仕様の検証法
- 並列分散システムへの振舞意味論の適用について
- 振舞意味論と投影演算に基づく並行システムのノンインターリーブ性の記述および詳細化検証
- 項書換えシステムのための抽象機械の設計について
- 書き換え理論に基づく有機的プログラミング言語GAEAの意味
- 文脈依存書き換えの拡張
- 書き換えによるセキュリティプロトコル帰納的検証(セキュアコンピューティング)
- CafeOBJによる分散システムの形式仕様作成法
- 形式仕様言語CafeOBJを用いたテキストエディタの仕様記述
- 順序ソート項書換えの効率のよい実現に関する一考察
- プログラム合成/変換特集の編集にあたって (プログラム合成/変換)
- 特集「非手続き型プログラミングのための計算モデル」の編集にあたって
- 並行項書き換え計算による並行オブジェクト指向言語の実現
- 有限状態機械に基づくプログラミングでのgoto文使用の是非 : Hoare論理の観点から(プログラミングの理論)
- 多重ループからの脱出でのgoto文の是非 : Hoare理論の観点から(プログラミング方法論とパラダイム)
- 5. フォーマルメソッドの新展開 : 検証進化可能電子社会の中核技術(Part III:新領域の開拓,フォーマルメソッドの新潮流)
- ドメインの形式記述と検証
- 射影演算に基づくオブジェクト合成における仕様の変更可能範囲
- Logical semantics for CafeOBJ
- CafeOBJを用いた基本データ構造の記述とそれに関するラーニングウェアの作成
- 振舞仕様に基づくAddress Resolution Protocolの仕様記述