大蒔 和仁 | 産業技術総合研究所

スポンサーリンク

概要

• 同名の論文著者
• 産業技術総合研究所の論文著者

関連著者

• 大蒔 和仁

  産業技術総合研究所

• 大蒔 和仁

  電子技術総合研究所情報アーキテクチャ部

• 大蒔 和仁

  電総研

• 大蒔 和仁

  電子技術総合研究所

• 佐藤 豊

  電子技術総合研究所情報アーキテクチャ部

• 佐藤 豊

  電子技術総合研究所 情報アーキテクチャ部

• 佐藤 豊

  電子技術総合研究所

• 磯部 祥尚

  電子技術総合研究所

• 本位田 真一

  (株)東芝システム・ソフトウェア生産技術研究所

• 佐伯 元司

  東京工業大学

• 磯部 祥尚

  産業技術総合研究所

• 磯辺 祥尚

  電子技術総合研究所 情報アーキテクチャ部

• 小島 功

  電総研情報アーキテクチャ部ネットワーク情報ベースラボ

• 小島 功

  電子技術総合研究所

• 小島 功

  産業技術総合研究所情報技術研究部門

• 小島 功

  京都大学工学部

• 加藤 和彦

  筑波大学

• 久世 和資

  IBM東京基礎研究所

• 海老原 一郎

  電子技術総合研究所情報アーキテクチャ部

• 海老原 一郎

  電子技術総合研究所情報アーキテクチャー部

• 小島 功

  産業技術総合研究所グリッド研究センター

• 小島 功

  電総研情報アーキテクチャ部

• 深澤 良彰

  早稲田大学大学院基幹理工学研究科:国立情報学研究所

• 永田 守男

  慶應義塾大学理工学部管理工学科

• 伊藤 潔

  上智大学理工学部情報理工学科

• 青山 幹雄

  南山大学情報理工学部ソフトウェア工学科

• 永田 守男

  慶応義塾大学理工学部管理工学科

• 青山 幹雄

  新潟工科大学情報電子工学科

• 吉田 裕之

  富士通研究所

• 磯田 定宏

  豊橋技術科学大学知識情報工学系

• 加賀谷 聡

  東芝

• 松村 一夫

  東芝

• 中田 秀基

  電子技術総合研究所

• 深澤 良彰

  早稲田大学

• 伊藤 潔

  上智大学

• 中田 秀基

  電総研

• 吉田 裕之

  富士通

• 青山 幹雄

  新潟工科大学

• 大槻 繁

  日立製作所技術研修所

• 山際 基

  東洋大学総合情報学部

• 青山 幹雄

  南山大学

• 青山 幹雄

  南山大学 情報理工学部 ソフトウェア工学科

• 瀬河 浩司

  電総研

• 玉井 哲雄

  東京大学大学院総合文化研究科広域システム専攻

• 玉井 哲雄

  東大

• 大蒔 和仁

  電総研情報ベース研究室

• 金 紀柄

  ソウル大学校

• 大槻 繁

  (株)エクイティ・リサーチ

• 金藤 栄孝

  日立

• 大槻 繁

  日立

• 大槻 繁

  株式会社一(いち)

• 大場 善次郎

  国立大学法人東京大学大学院工学系研究科

• 金藤 栄孝

  株式会社日立製作所システム開発研究所

• 磯田 定宏

  豊橋技術科学大学

• 青山 幹雄

  南山大学数理情報学部

• 磯部 祥尚

  電子枝術総合研究所

• 大蒔 和仁

  電子枝術総合研究所

• 大場 善次郎

  東洋大学総合情報学部総合情報学科

• 尾崎 晴男

  東洋大学総合情報学部総合情報学科

• 椿 光太郎

  東洋大学総合情報学部総合情報学科

• 大蒔 和仁

  東洋大学総合情報学部総合情報学科

• 安達 由洋

  東洋大学総合情報学部総合情報学科

• 山際 基

  東洋大学総合情報学部総合情報学科

• 椿 光太郎

  東洋大学総合情報学部

もっと見る 閉じる

著作論文

• 第1回アジア太平洋ソフトウェア工学国際会議(APSEC'94)報告
• Stepwise Synthesis of Partial Specifications preserving Strong $(\Omega_1,\Omega_2)$-Equivalence(Concurrency Theory and Applications '96)
• 特集「ソフトウェア開発における仕様記述法とその適用」の編集にあたって
• オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
• オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
• 情報社会におけるJTC1の役割とこれからの日本--日本がトップに立つために (これからの高度情報化社会を支える情報技術標準)
• 高階論理を使ったオブジェクト指向データベースのモデル化
• アクティブデータベースの動作解析のためのプロセス代数の開発
• プロセス代数によるプロセス生成機能をもつ並行システムの解析
• 離接演算子をもつLOTOS仕様における偶発性
• 離接演算子をもつLOTOS仕様における偶発性
• 準弱双模倣性をもとにした仕様の段階的合成方法
• 準弱双模倣性をもとにした仕様の段階的合成方法
• 準弱双模倣性をもとにした仕様の段階的合成方法(並列・分散)
• グレイド付き空間プロセス代数による近似解析 ( ソフトウェア工学の基礎)
• 受信者数を考慮したブロードキャストシステムのためのプロセス代数 (ソフトウェア工学の基礎)
• 現実の並行システムへのプロセス代数の応用 : 経験と課題
• 分散オブジェクト指向UIMSの実行時アーキテクチャの設計と実現
• 分散オブジェクト指向UIMSの実行時ア-キテクチャの設計と実現 (柔構造情報処理方式に関する研究)
• 高階論理を使ったオブジェクト指向データベースのモデル化
• 精密ソフトウェア工学のすすめ
• 大規模LANの稼働実態とその解析
• 「事業に活きる我が国発の標準化」特集号について (事業に活きる我が国発の標準化)
• 中尾氏インタビュー 標準によって半年かかっていたことが1ヶ月でできるようになるんです
• 「事業に活きる標準化の力」特集号について (特集 事業に活きる標準化の力)
• もっと戦略的になろう (インタラクティブ・エッセイ)
• いまどきのプロジェクト (インタラクティブ・エッセイ)
• 特集「ネット指向パラダイムを求めて」の編集にあたって
• プルーバブル情報ベース技術の確立を目指して
• エージェントの合成を検証するための非インターリービング時間付プロセス代数とプロセス論理
• 真の並行プロセス代数のための決定可能な局所プロセス論理
• 真の並行プロセス代数のためのプロセス論理における充足可能性の決定不能性
• 分散システムのためのプロセス論理の充足可能性判定ツール
• 論理的な仕様から分散システムを合成する方法の検討
• A-12-1 分散システムを段階的に合成するための形式的仕様記述言語
• プロセス論理演算子をもつプロセス代数
• 特集「ソフトウェア工学の基礎」の編集にあたって ( ソフトウェア工学の基礎)
• 7-333 産学連携による学生の実践力向上に向けた教育プログラムの開発((17)産学連携教育-II,口頭発表)
• 「事業に活きる我が国発の標準化」特集号について
• 「事業に活きる標準化の力」特集号について

もっと見る 閉じる

スポンサーリンク