立石 孝彰 | 日本IBM東京基礎研究所
スポンサーリンク
概要
関連著者
-
立石 孝彰
日本IBM東京基礎研究所
-
立石 孝彰
日本アイ・ビー・エム東京基礎研究所
-
渡邊 裕治
日本アイ・ビー・エム東京基礎研究所
-
青木 利晃
北陸先端科学技術大学院大学
-
片山 卓也
北陸先端科学技術大学院大学
-
渡邊 裕治
東京大学生産技術研究所
-
片山 卓也
中部大学大学院
-
渡邊 裕治
日本アイ・ビー・エム 東京基礎研究所
-
立石 孝彰
日本アイ・ビー・エム株式会社
-
立石 孝彰
北陸先端科学技術大学院大学
-
吉田 敦
和歌山大学システム情報学センター
-
名倉 正剛
奈良先端科学技術大学院大学
-
櫨山 淳雄
東京学芸大学大学院教育学研究科
-
櫨山 淳雄
東京学芸大学教育学部
-
櫨山 淳雄
東京学芸大学教育学部情報教育専攻
-
山本 里枝子
株式会杜富士通研究所
-
飯田 元
奈良先端科学技術大学院大学
-
阿萬 裕久
愛媛大学
-
白銀 純子
東京女子大学
-
小高 敏裕
株式会杜富士通研究所
-
久保 淳人
早稲田大学
-
吉田 敦
獨協医科大学臨床検査医学
-
吉田 敦
日本道路公団試験研究所交通環境研究部保全研究室
-
吉田 敦
臨床検査医学,臨床検査部
-
吉田 敦
和歌山大学
-
阿萬 裕久
愛媛大学大学院
-
小金山 美賀
日本ibm東京基礎研究所
-
吉田 敦
南山大学
-
山本 里枝子
富士通研究所
-
櫨山 淳雄
東京学芸大学
-
阿萬 裕久
愛媛大 大学院理工学研究科
-
小高 敏裕
富士通研究所
-
飯田 元
奈良先端科学技術大学院大学情報科学研究科
-
吉田 敬
和歌山大学
-
田渕 直
日本IBM東京基礎研究所
-
吉田 敦
獨協医科大学病院
-
白銀 純子
東京女子大
著作論文
- ソフトウェアエンジニアリングシンポジウム2008開催報告(調査・報告・教育)
- (形式的仕様)振舞い近似手法を用いたステートチャートに対する不変性の検証(オブジェクト指向技術)
- 文字列解析を用いたアクセス権推論の精度向上(検証/セキュリティ)
- 定理証明技術のオブジェクト指向分析への適用
- オブジェクト指向分析モデルの検証と公理系の提案
- 紛失オートマトン計算における通信量の削減(一般:情報通信基礎サブソサイエティとの合同研究会)
- 紛失オートマトン計算における通信量の削減(一般:情報通信基礎サブソサイエティとの合同研究会)
- 紛失オートマトン計算における通信量の削減(一般:情報通信基礎サブソサイエティとの合同研究会)