富樫 敦 | 東北大学電気通信研究所
スポンサーリンク
概要
関連著者
-
富樫 敦
東北大学電気通信研究所
-
富樫 敦
宮城大学事業構想学部
-
白鳥 則郎
東北大学電気通信研究所
-
木村 成伴
筑波大学電子・情報工学系
-
木村 成伴
情報科学研究科
-
白鳥 則郎
東北大学電気通信研究所 情報科学研究科
-
木村 成伴
東北大学電気通信研究所
-
吉田 仙
東北大学電気通信研究所
-
野口 正一
東北大学電気通信研究所
-
臼井 伸幸
東北大学電気通信研究所
-
臼井 伸幸
東北大
-
野口 正一
東北大学応用情報学研究センター
-
三宅 延久
東北大学応用情報学研究センター
-
宋 国煥
東北大学電気通信研究所情報科学研究科
-
布川 博士
東北大学電気通信研究所
-
木村 成伴
東北大学応用情報学研究センター
-
朴 美郎
東北大学電気通信研究所
-
宋 国煥
東北大学電気通信研究所
-
三宅 延久
東北大学電気通信研究所
-
白鳥 則郎
東北大学情報科学研究科
-
白鳥 則郎
情報科学研究科
-
白鳥 則郎
東北大
-
矢野 博之
郵政省通信総合研究所
-
ビスタ バハドゥール
東北大学電気通信研究所
-
ビスタ ベッド.
東北大学電気通信研究所 / 情報科学研究科
-
千葉 和也
富士ゼロックス(株)システム・コミュニケーション研究所
-
千葉 和也
富士ゼロックス(株)中央研究所
-
千葉 和也
富士ゼロックス(株)システム技術研究所
-
佐々木 修二
(株)高度通信システム研究所
-
富樫 敦
情報科学研究所
-
矢野 博之
東北大学電気通信研究所
-
勝倉 真
東北大学電気通信研究所
-
福沢 尚司
東北大学電気通信研究所情報科学研究科
-
佐々木 修二
NTT東北支社
-
鈴木 みどり
東北大学電気通信研究所
-
宋 国煥
情報科学研究科
-
富樫 敦
東北大学 電気通信研究所
-
黒田 清隆
東北大学電気通信研究所
-
菊地 俊彰
東北大学電気通信研究所
-
侯本 慧
東北大学電気通信研究所
-
富樫 敦[他]
東北大学電気通信研究所
著作論文
- MSCからのプロセス合成(アルゴリズムと計算量理論)
- Inductive Synthesis of Recursive Processes from Logical Properties
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- μ-calculusによる再帰プロセスの合成
- プロセス合成のための支援環境に関する研究
- プロセス合成のための支援環境とその試作
- μ-calclusによる再帰プロセスの合成アルゴリズム
- 汎用並行プロセス計算システムの設計開発
- プロセスの枚挙に基づいた代表的プロセスの合成
- 様相論理式による基本プロセスの合成アルゴリズム
- 項書き換え系のメタインタプリタE-TRS
- 通信プロトコルのやわらかい合成支援環境の構築
- 代数を実現する項書換えシステムの帰納的推論
- 等式によるLOTOSプロセスの記述と解釈
- 通信制御システムのSDLを基本とした仕様記述法に関する検討
- Graphical Interface for Representation of LTS
- 3層実行モデルによるAMLOG実行モニタ
- 実行制御機構を持つ融合型言語AMLOG
- 実行制御機構を持つ融合型言語AMLOG
- 融合型プログラミング言語と処理系の実現について(計算アルゴリズムの基礎理論)
- 命題論理に基づいたやわらかいソフトウェア設計支援システムとその応用
- 命題論理に基づいた要求記述法と状態遷移システムによる意味記述
- プロセス計算記述言語とその支援環境
- プロセス計算の統合支援環境の構築(並行計算の理論とその応用)
- 論理ペトリネットを用いた形式仕様の自動変換と検証(グラフ,ネットワークとアルゴリズムおよび一般)
- 平行プロセス計算の現状と課題
- 並行プロセス計算の開発・利用支援環境
- 並行プロセス計算の開発・利用支援環境
- プロセス計算の統合支援環境の構築
- 並列論理型言語GHCの動作的意味論
- 並列論理型言語の動作的意味論
- 項書き換え系の関数型言語への変換による実現 (関数型プログラミング)
- TRSプログラムの自動合成システム