本位田 真一 | (株)東芝システム・ソフトウェア生産技術研究所
スポンサーリンク
概要
関連著者
-
本位田 真一
(株)東芝システム・ソフトウェア生産技術研究所
-
大須賀 昭彦
(株)東芝
-
大須賀 昭彦
(株)東芝研究開発センター
-
内平 直志
(株)東芝
-
内平 直志
東芝 研開セ
-
伊藤 潔
上智大学理工学部情報理工学科
-
伊藤 潔
上智大学理工学部
-
長谷川 哲夫
(株)東芝研究開発センター
-
大須賀 昭彦
電気通信大学大学院情報システム学研究科
-
川村 隆浩
(株)東芝経営企画部
-
長谷川 哲夫
(株)東芝 研究開発センター
-
内平 直志
東芝研究開発センター
-
沢村 淳
上智大学大学院理工学研究科機械工学
-
大蒔 和仁
電子技術総合研究所
-
川村 隆浩
(株)東芝研究開発センター
-
川村 隆浩
株式会社東芝研究開発センター
-
大須賀 昭彦
(株)東芝研究開発センター知識メディアラボラトリー
-
長谷川 哲夫
(株)東芝
-
川村 隆浩
(株)東芝 経営企画室
-
佐伯 元司
東京工業大学
-
坂井 公
筑波大学数学系
-
志田 圭介
上智大学大学院理工学研究科機械工学
-
大蒔 和仁
産業技術総合研究所
-
大蒔 和仁
電子技術総合研究所情報アーキテクチャ部
-
田原 康之
電気通信大学大学院情報システム学研究科
-
加藤 和彦
筑波大学
-
松本 憲幸
株式会社東芝
-
松本 憲幸
株式会社 東芝
-
田原 康之
National Institute of Informatics
-
田原 康之
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
西村 一彦
(株)東芝
-
松本 一教
(株)東芝システム・ソフトウェア技術研究所
-
小林 茂
東芝
-
沢村 淳
上智大学理工学部
-
西村 一彦
(株)東芝システム・ソフトウェア技術研究所
-
西村 一彦
東芝 研開セ
-
小林 茂
(株)東芝
-
松本 憲幸
(株)東芝
-
落合 正雄
(株)東芝
-
久世 和資
IBM東京基礎研究所
-
坂井 公
筑波大学電子・情報工学系
-
大蒔 和仁
電総研
-
落合 正雄
(株)東芝 府中工場
-
永田 守男
慶應義塾大学理工学部管理工学科
-
川村 隆浩
電気通信大学大学院情報システム学研究科
-
青山 幹雄
富士通(株)
-
青山 幹雄
富士通(株)ビシネス通信事業本部
-
渡辺 一
東芝
-
上林 憲行
東京工科大学
-
関 知道
東京電力(株)
-
渡辺 一
(株)東芝
-
小俣 孝夫
東京電力株式会社技術開発本部 システム研究所
-
塙 曜二
東京電力(株)
-
小俣 孝夫
東京電力(株)
-
神尾 光一
東京電力(株)
-
本位田 真一
(株)東芝研究開発センター
-
加瀬 直樹
(株)東芝 研究開発センター システム・ソフトウェア生産技術研究所
-
古宮 誠一
情報処理振興事業協会技術センター
-
志田 圭介
上智大学理工学部機械工学科
-
加賀谷 聡
株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
名取 万里
株式会社東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
名取 万里
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
加賀谷 聡
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
中村 英夫
(株)東芝 システム・ソフトウェア技術研究所
-
吉田 和樹
株式会社東芝si技術開発センター
-
松本 吉弘
武蔵工業大学
-
松浦 佐江子
芝浦工業大学システム理工学部
-
松田 元彦
住友金属工業(株)
-
蓬莱 尚幸
セレスター・レキシコ・サイエンシズ
-
上林 憲行
富士ゼロックス(株)システム・コミュニケーション研究所
-
吉田 和樹
(株)東芝
-
池 克俊
東京工業大学
-
白井 豊
協同システム開発(株)
-
大槻 繁
(株)日立製作所
-
蓬莱 尚幸
富士通(株)
-
加藤 潤三
日本ユニシス(株)
-
大林 正晴
(株)管理工学研究所
-
松浦 佐江子
(株)管理工学研究所
-
荒谷 徹
富士ゼロックス(株)
-
大木 幹雄
日本電子計算(株)
-
村井 進
フリーランス・テクニカルライター
-
本位田 真一
東京大学大学院情報理工学系研究科|国立情報学研究所
-
蓬莱 尚幸
東京工業大学情報理工学研究科計算工学専攻
-
古宮 誠一
芝浦工業大学大学院 工学研究科
-
田村 恭久
上智大学理工学部
-
新井 政彦
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
松浦 佐江子
芝浦工業大学大学院 工学研究科
-
永井 保夫
(株)東芝
-
加瀬 直樹
東芝 研開セ
-
津田 淳一郎
(株)東芝システム・ソフトウェア技術研究所
-
小俣 孝夫
東京電力
-
吉岡 信和
(株)東芝研究開発センター
-
山本 純一
株式会社東芝研究開発センター システム・ソフトウェア生産技術研究所
-
関 知道
東京電力(株)経理部
-
関 知道
東京電力株式会社
-
粕谷 利明
(株)東芝システム・ソフトウェア技術研究所
-
吉岡 信和
総合研究大学院大学 国立情報学研究所
-
塙 曜二
東京電力(株)システム研究所
-
松本 吉弘
(株)東芝重電技術研究所
-
古川 忠始
(株)東芝システム・ソフトウェア技術研究所
-
山城 明宏
(株)東芝研究開発センター
-
新井 政彦
(株)東芝システム・ソフトウェア技術推進部
-
古宮 誠一
情報処理振興事業協
-
本位田 真一
東芝研究開発センター
-
加藤 潤三
独立コンサルタント
-
永田 守男
慶應義塾大学
-
大槻 繁
(株)エクイティ・リサーチ
-
大木 幹雄
日本工業大学
-
大槻 繁
日立
-
大槻 繁
株式会社一(いち)
-
大林 正晴
管理工学研
-
上林 憲行
富士ゼロックス(株)システム実験研究所
-
山本 純一
(株)東芝研究開発センターシステム・ソフトウェア生産技術研究所
-
永井 保夫
情報処理振興事業協会(ipa)新ソフトウェア構造化モデル研究本部 : (株)東芝研究開発センターs&s研究所より出向中
-
吉田 和樹
(株)東芝SI技術開発センター
著作論文
- 8. オブジェクト指向分析・設計の実際と評価 ( オブジェクト指向分析・設計)
- 電力系統監視制御システムへのオブジェクト指向分析適用の試行
- 同期型待ち行列ネットワークのボトルネックに対する定性的なパラメータチューニング法
- 定性推論と定量推論を導入した待ち行列ネットワークのボトルネック診断と改善法
- 知識工学的手法による待ち行列ネットワークのボトルネック診断
- ドメイン分析に基づく仕様再利用手法
- TA-2-2 高水準ペトリネットによるソフトウェア設計法(TA-2. 高水準ペトリネットのシステムとソフトウェア開発への応用,チュートリアル講演)
- 代数的仕様と時制論理によるリアルタイムSAとオブジェクト指向設計の融合手法
- 仕様記述過程モデル化のための実験と分析
- 時相論理とその応用 (<特集>非標準論理とその応用)
- シミュレーション手法に基づいた並行処理ソフトウェアのプロトタイピング手法
- 知識工学手法による待ち行列ネットワークのボトルネック診断
- C-Prologコンパイラの開発(2) : 内部構造について
- C-Prologコンパイラの開発(1) : 設計思想について
- 産業界におけるソフトウェア・エンジニアリングの動向(ソフトウェアの品質保証について)
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- オブジェクト指向は本当に役立っているのか : ソフトウェア工学の立場およびソフトウェア科学の立場から
- 時制論理とペトリネット(AIの推論とOR)
- Bee-gent:移動型仲介エージェントによる既存システムの柔軟な活用を目的としたマルチエージェントフレームワーク
- マルチエージェントフレームワークBee-gentを用いた分散システムにおけるデザインパラダイムの分類と評価
- 既存システムの柔軟な結合を可能にするエージェントフレームワークBe-gentの提案
- モバイルエージェントを用いた分散制約充足問題へのアプローチ : 分散協調型電力系統設備作業停止計画支援システムの開発
- 代数的仕様を用いたソフトウェア開発支援環境 : Metis-AS
- Metis-AS における代数的仕様の検証手続き
- 等式論理の帰納的定理を証明する手続き
- 代数的仕様のΔ拡張
- リアルタイムシステムにおけるプロトタイピングの一手法
- 複合ビューポイントに基づく仕様化プロセスの分析
- 代数的仕様記述と図式仕様記述の相補的役割について : 複眼的システムモデル
- 診断型エキスパート・システム (エキスパート・システム)
- 1. オブジェクト指向分析・設計 ( オブジェクト指向分析・設計)
- 3. 応用分野の最前線 3.4 制御分野における自動プログラミング (自動プログラミング)
- 代数仕様技術によるオブジェクト指向分析設計の検証支援
- 特集「ネット指向パラダイムを求めて」の編集にあたって
- 推論型システム記述言語 MENDEL
- 制約処理パターンを用いたオブジェクト思考ソフトウェア開発