大森 洋一 | 九州大学システム情報科学研究院

スポンサーリンク

概要

• 大森 洋一の詳細を見る
• 同名の論文著者
• 九州大学システム情報科学研究院の論文著者

関連著者

• 大森 洋一

  九州大学システム情報科学研究院

• 大森 洋一

  九州大学大学院システム情報科学研究院

• 荒木 啓二郎

  九州大学システム情報科学研究院

• 荒木 啓二郎

  九州大学大学院システム情報科学研究院

• 日下部 茂

  九州大学大学院システム情報科学研究院

• 日下 部茂

  九州大学大学院総合理工学研究科

• 日下部 茂

  九州大学

• 日下部 茂

  九州大学大学院システム情報科学府・研究院

• 池田 大輔

  九州大学大学院システム情報科学研究院

• 荒木 啓二郎

  九州大学

• 宮川 拓也

  九州大学 大学院システム情報科学研究院

• 池田 大輔

  九州大学システム情報

• 大森 洋一

  九州大学 大学院システム情報科学研究院

• 池田 大輔

  九州大学システム情報科学研究院

• 安浦 寛人

  九州大学大学院システム情報科学研究院

• 峯 恒憲

  九州大学大学院システム情報科学研究院

• 安浦 寛人

  九州大学

• 安浦 寛人

  九州大学大学院システム情報科学研究科情報工学専攻

• 峯 恒憲

  九大

• 福田 晃

  九州大学大学院システム情報科学研究院

• 坂本 憲昭

  九州大学

• ウッディン モハマッド

  九州大学

• 山口 恭平

  九州大学 大学院システム情報科学研究院

• 峯 恒憲

  九州大学

• 和田 祐介

  九州大学大学院システム情報科学府

• 峯 恒憲

  九州大学大学院システム情報科学研究院情報知能工学部門

• 園田 貴大

  九州大学

• 中西 恒夫

  九州大学システムLSI研究センター

• 中西 恒夫

  九州大学大学院システム情報科学研究院

• 福田 晃

  九州大学

• 園田 貴大

  九州大学大学院システム情報科学府

• Yasuura Hiroto

  The Graduate School Of Engineering Sciences Kyushu University

• Yasuura Hiroto

  Department Of Computer Science And Communication Engineering Graduate School Of Information Science

• 中西 恒夫

  九州大学

• Yasuura Hiroto

  Kyushu Univ. Fukuoka‐shi Jpn

• 深瀬 光聡

  九州大学:新日鉄ソリューションズ

• 大森 洋一

  九州大学

• 末吉 敏則

  熊本大学大学院自然科学研究科情報電気電子工学専攻

• 片山 徹郎

  宮崎大学工学部情報システム工学科

• 金子 邦彦

  九州大学・大学院システム情報科学研究院

• 城 和貴

  和歌山大学システム工学部

• 越智 優

  九州大学大学院システム情報科学研究院

• 福田 晃

  奈良先端科学技術大学院大学

• 張 暁晶

  NTTサイバースペース研究所

• 北須賀 輝明

  熊本大学大学院自然科学研究科

• 菅沼 明

  九州大学大学院システム情報科学研究科

• 中西 恒夫

  九州大学大学院システム情報科学府

• 小材 健

  九州大学大学院システム情報科学府

• 古殿 知之

  九州大学

• 深瀬 光聡

  九州大学

• 乃万 司

  九州工業大学

• 森元 逞

  福岡大学

• 菅沼 明

  九州大学工学部情報工学科

• 末吉 敏則

  熊本大学

• 菅沼 明

  九州大学

• 菅沼 明

  有明高専

• 安浦 寛人

  九州大学 大学院 システム情報科学研究科

• 坂本 憲昭

  九州大学 日本IBM株式会社

• 深瀬 光聡

  九州大学 新日鉄ソリューションズ株式会社

• Yasuura Hiroto

  The Department Of Computer Science And Communication Engineering Graduate School Of Information Scie

• 大森 洋一

  奈良先端科学技術大学院大学

• 井ノ口 裕也

  九州大学大学院システム情報科学研究院

• 池田 大輔

  九州大学 大学院システム情報科学研究院

• 荒木 啓二郎

  九州大学 大学院システム情報科学研究院

• 張 暁晶

  九州大学大学院システム情報科学府

• 古殿 知之

  九州大学:富士通

• Nakanishi Tsuneo

  Graduate School/faculty Of Information Science And Electrical Engineering Kyushu University

• 乃万 司

  九州工業大学情報工学部知能情報工学科

• 片山 徹郎

  宮崎大学

• 金子 邦彦

  九州大学

• 宮下 怜

  九州大学大学院システム情報科学府

• 北須賀 輝明

  the Graduate School of Science and Technology, Kumamoto University

• 池田 大輔

  九州大学 システム情報科学研究院

もっと見る 閉じる

著作論文

• 周期性を持つ非同期通信システムのモデリングに関する研究(モデリング(学生セッション))
• 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
• 測定可能な個人プロセスを対象とした形式手法導入に関する提案(形式手法(学生セッション))
• 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて
• JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
• ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
• JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
• 状態遷移図の同期モデルへの詳細化および検証手法
• 大規模な産学連携による高度ICT人材育成に向けての取り組み
• ロボット制御ソフトウェアの形式的モデル検証
• 背表紙画像を用いたネットワーク透過な仮想書架
• 形式仕様記述における階層アーキテクチャ
• Ｗｅｂサービスを用いた読書録サービスの設計と実装
• 仮想書架における背表紙画像生成の自動化
• Web 上における仮想書架の試作と評価　（「ディジタル図書館」ワークショップ　第28回）
• 分散ストレージの安全性検証
• VDM記述からのPromela記述生成における変換手法の提案
• オブジェクト指向に基づくスカラ拡張の適用条件のクラス化
• 規範的チーム開発プロセスTSPiに基づく産学連携PBLの事例報告-OpenFlowコントローラ開発への形式手法導入-
• ツールによる形式モデルの成熟度測定法の提案

もっと見る 閉じる

スポンサーリンク