荒木 啓二郎 | 九州大学大学院システム情報科学研究院
スポンサーリンク
概要
関連著者
-
荒木 啓二郎
九州大学大学院システム情報科学研究院
-
荒木 啓二郎
九州大学システム情報科学研究院
-
大森 洋一
九州大学大学院システム情報科学研究院
-
荒木 啓二郎
九州大学
-
大森 洋一
九州大学システム情報科学研究院
-
日下部 茂
九州大学大学院システム情報科学研究院
-
日下 部茂
九州大学大学院総合理工学研究科
-
後藤 幸功
岩手県立大学ソフトウェア情報学部
-
後藤 幸功
九州大学大学院経済学研究院
-
後藤 幸功
東京理科大学情報処理センター
-
日下部 茂
九州大学
-
長野 央
有限会社ドットアスタ
-
日下部 茂
九州大学大学院システム情報科学府・研究院
-
岡村 耕二
九州大学情報処理教育センター
-
峯 恒憲
九州大学大学院システム情報科学研究院
-
太田 昌孝
東京工業大学大学院情報理工学部研究科
-
城 和貴
和歌山大学システム工学部
-
福田 晃
九州大学大学院システム情報科学研究院
-
岡村 耕二
九州大学アジア遠隔医療センター
-
太田 昌孝
東京工業大学大学院情報理工学研究科
-
笹倉 万里子
岡山大学工学部
-
笹倉 万里子
岡山大学
-
朝長 康介
ソフトバンクBB株式会社技術戦略室
-
朝長 康介
九州大学大学院システム情報科学府
-
安浦 寛人
九州大学大学院システム情報科学研究院
-
峯 恒憲
九大
-
福田 晃
奈良先端科学技術大学院大学
-
片峯 恵一
九州工業大学
-
橋本 正明
九州工業大学
-
中西 恒夫
奈良先端科学技術大学院大学情報科学研究科
-
坂本 憲昭
九州大学
-
岡村 耕二
九州大学情報基盤センター
-
高田 修
九州工業大学大学院情報工学研究科
-
峯 恒憲
九州大学
-
峯 恒憲
九州大学大学院システム情報科学研究院情報知能工学部門
-
橋本 正明
公立能登総合病院 脳神経外科
-
中西 恒夫
九州大学システムLSI研究センター
-
福田 晃
九州大学
-
石松 健男
安川情報システム
-
足立 國功
熊本ソフトウェア
-
隅田 重信
安川情報システム
-
南 貴尚
オフィス・ミナミ
-
坂本 憲昭
九州大学 日本IBM株式会社
-
深瀬 光聡
九州大学 新日鉄ソリューションズ株式会社
-
石松 健男
安川情報システム株式会社
-
丸山 博史
Necソフトウェア九州
-
平原 正樹
九州システム情報技術研究所
-
大森 洋一
九州大学 大学院システム情報科学研究院
-
吉村 康彦
九州大学工学部情報工学科
-
長野 央
(有)ドット・アスタ
-
深瀬 光聡
九州大学:新日鉄ソリューションズ
-
池永 全志
九州工業大学ネットワークデザイン研究センター
-
岡村 耕二
九州大学
-
安浦 寛人
九州大学
-
安浦 寛人
九州大学大学院システム情報科学研究科情報工学専攻
-
北須賀 輝明
熊本大学大学院自然科学研究科
-
國枝 義敏
和歌山大学システム工学部
-
堀 良彰
九州大学大学院システム情報科学研究院
-
ウッディン モハマッド
九州大学
-
堀 良彰
九州芸術工科大学 芸術工学部
-
張 漢明
財団法人九州システム情報技術研究所:奈良先端科学技術大学院大学
-
末吉 敏則
熊本大学
-
和田 祐介
九州大学大学院システム情報科学府
-
園田 貴大
九州大学
-
中西 恒夫
九州大学大学院システム情報科学研究院
-
園田 貴大
九州大学大学院システム情報科学府
-
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
-
井上 晋太郎
九州大学大学院システム情報科学府
-
田中 俊行
九州大学大学院システム情報科学研究科
-
George Chris
国連大学国際ソフトウェア技術研究所
-
田中 俊行
九州大学大学院システム情報科学研究科:(財)九州システム情報技術研究所
-
池永 全志
九州工業大学
-
堀 良彰
九州芸術工科大学
-
大森 洋一
九州大学
-
末吉 敏則
熊本大学大学院自然科学研究科情報電気電子工学専攻
-
片山 徹郎
宮崎大学工学部情報システム工学科
-
金子 邦彦
九州大学・大学院システム情報科学研究院
-
越智 優
九州大学大学院システム情報科学研究院
-
落水 浩一郎
北陸先端科学技術大学院大学情報科学研究科
-
池田 大輔
九州大学大学院システム情報科学研究院
-
張 暁晶
NTTサイバースペース研究所
-
菅沼 明
九州大学大学院システム情報科学研究科
-
中西 恒夫
九州大学大学院システム情報科学府
-
小材 健
九州大学大学院システム情報科学府
-
古殿 知之
九州大学
-
深瀬 光聡
九州大学
-
乃万 司
九州工業大学
-
森元 逞
福岡大学
-
中井 良一
九州大学大学院システム情報科学府
-
佐原 伸
Cskシステムズ
-
山口 恭平
九州大学 大学院システム情報科学研究院
-
栗田 太郎
フェリカネットワークス(株)開発部2課
-
菅沼 明
九州大学工学部情報工学科
-
宮川 拓也
九州大学 大学院システム情報科学研究院
-
菅沼 明
九州大学
-
落水 浩一郎
北陸先端大
-
池田 大輔
九州大学システム情報
-
菅沼 明
有明高専
-
安浦 寛人
九州大学 大学院 システム情報科学研究科
-
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
-
張 漢明
(財)九州システム情報技術研究所
-
張 漢明
九州システム情報技術研究所
-
丸山 博史
九州大学
-
乃万 司
九州工業大学情報工学部知能情報工学科
-
栗田 太郎
フェリカネットワークス株式会社
-
片山 徹郎
宮崎大学
-
金子 邦彦
九州大学
-
平原 正樹
九州大学 中央計数施設
-
宮下 怜
九州大学大学院システム情報科学府
-
三好 健吾
九州大学大学院システム情報科学府
-
Polychronopoulos Constantine
Center For Supercomputing Research And Development University Of Illinois At Urbana-champaign
-
ポリクロノポーラス コンスタンチンd.
米イリノイ大学アーバナ・シャンペイン校スーパーコンピュータ研究開発センター
-
Polychronopoulos Constantine
Center Far Supeecomputing Research And Development University Of Illinois At Urbana Champaign
-
池田 大輔
九州大学システム情報科学研究院
-
山崎 重一郎
財団法人九州システム情報技術研究所
-
栗田 太郎
フェリカネットワークス
-
荒木 啓二郎
九州大学:九州システム情報技術研究所
-
北須賀 輝明
the Graduate School of Science and Technology, Kumamoto University
-
末吉 敏則[他]
九州大学
-
池田 大輔
九州大学 システム情報科学研究院
著作論文
- 周期性を持つ非同期通信システムのモデリングに関する研究(モデリング(学生セッション))
- ATM over IPの実現と性能評価
- ATM over IP の実現と性能評価
- 緊密な産学連携に基づく自律的なICT人材育成の実践(情報システム教育コンテスト(3))
- 測定可能な個人プロセスを対象とした形式手法導入に関する提案(形式手法(学生セッション))
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- プロトコルスタックをバイパスするMyrinet用ソケット通信機構
- 自然言語による仕様記述の形式モデルへの変換を利用した品質向上に向けて
- オブジェクト指向形式仕様記述言語VDM++支援ツールVDMTools(ソフトウェア紹介,先端ソフトウェアツール)
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- ドメイン知識を用いた検証に向けた状態遷移図の抽象化方法に関する考察
- JUnit向け単体テストを対象としたMapReduce型並列分散実行フレームワークの提案
- 状態遷移図の同期モデルへの詳細化および検証手法
- プロジェクトマネジメント学会九州支部活動報告
- プロジェクトマネジメント学会九州支部活動報告(Mail to PM)
- プロジェクトマネジメント学会九州支部活動報告
- 多重同時最適制御に解放する方式の実装(コンカレント工学一般、及び、CSTソリューションコンペティション2007発表会)
- 変数オリエンティッドなデータ依存関係モデルの提案
- 変数オリエンティッドなデータ依存関係モデルの提案
- 並列化支援視覚化システム NaraViewにおけるビュー間の連携方式について
- 並列化支援のためのデータ依存の3次元視覚化
- 連想記憶と進化過程
- 大規模な産学連携による高度ICT人材育成に向けての取り組み
- モデル規範型形式手法VDMと仕様記述言語VDM++ : 高信頼性システムの開発に向けて(情報システムの信頼性・安全性)
- 大規模な産学連携による高度ICT人材教育におけるインターンシップの役割とその効果
- 1. フォーマルメソッドの過去・現在・未来 : 適用の実践に向けて(Part I:歴史と概要,フォーマルメソッドの新潮流)
- ロボット制御ソフトウェアの形式的モデル検証
- 背表紙画像を用いたネットワーク透過な仮想書架
- エニキャストを用いた自動車のための地域別緊急通報システムの実現(アドホックネットワーク, ユビキタスITSとモバイルアプリケーション)
- 形式仕様記述における階層アーキテクチャ
- エニキャストを用いた位置依存グループウェアの設計と実装
- ユビキタス環境を活用した位置に基づくグループウェア
- ユビキタス環境を活用した位置に基づくグループウェア
- Ada並列プログラムのためのグラフィック表示を用いた実行再演ツール
- 5. 無線による地域ネットワーク実験 : 都市コミュニティの新しいかたち (地域ネットワークの新しい展開)
- 資源予約可能なインターネット上でのビデオ放送システムの提案と実装
- インターネット動画配送システムの設計とその応答性の評価
- インターネットにおけるQoS保証された動画配送システムの設計と実装
- ATMネットワーク上での動画配送アプリケーションの評価
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- インターネット上でのサービスの品質の保証と動画像配送システムへの対応
- RSVPを用いたVoD配送システムモデルの提案
- RSVPを用いた動画アプリケーションについて
- プロトコル選択方式による高信頼性マルチキャスト通信の評価(マルチメディアコミュニケーションシステム)
- 九州ギガポッププロジェクトの概要
- 九州ギガポッププロジェクトの概要
- SSLプロトコルの形式仕様記述と検証
- SSLプロトコルの形式仕様記述と検証
- プログラムスライシングのVRMLへの導入とその改良
- VRMLにおけるプログラムスライシングとその利用
- プログラムスライシングのVRMLへの導入とその改良
- Implementation of the High-level Parallel Programming Language Nano-2
- VDM記述からのPromela記述生成における変換手法の提案
- データ型に着目した形式仕様記述からの状態遷移系の抽出(サイバー増大ページ論文概要,新しいソフトウェアの実現,サイバー増大号)
- 信用情報と利用ポリシーの管理が可能な相互認証を実現する認証基盤の提案(マルチメディア通信と分散処理)
- ループ最小並列実行時間算出の一手法
- データ分割配置を考慮するループディストリビューション
- 形式手法導入のための産学連携PBLの活用
- 設計時の決定における依存関係の表記法