 | | |
| |
| | 後藤祐一更新日: 10/04/05 18:49 プロフィール平成13年埼玉大学工学部情報システム工学科卒業．
平成15年同大学院理工学研究科博士前期課程
情報システム工学専攻修了．平成17年同博士後期課程
情報数理科学専攻修了．博士（工学）．平成17年
埼玉大学工学部助手．平成19年同大学院理工学研究科
助教．知識工学の研究に従事．人工知能学会，ACM，
IEEE-CS 各会員． 研究キーワード 規範相関論理(1) , 時間相関論理(1) , 反応的システム(1) , 知識工学(6) , 情報システム(13) , 永続計算システム(1) , 汎用先行推論エンジン(1) , 自動発見(1) , 行動推論(1) , 時間規範相関論理(1) , 先行推論(1) 経歴2007年4月 - 現在 埼玉大学大学院 理工学研究科 助教 2006年4月 - 2007年3月 埼玉大学大学院 理工学研究科 助手 2005年4月 - 2006年3月 埼玉大学工学部 助手 論文藤乘靖士, 奈良信介, 後藤祐一, 程京徳 情報処理学会論文誌. プログラミング 46(14) 2005年1月 Ada 95並行プログラムにおけるタスキングデッドロックとは, 同期待ち関係により閉路が作られることでプログラムの実行ができなくなる状態である.そしてAda 95で作られたプログラムを対象としたタスキングデッドロック検出法が開発され実装が行われている.この検出法はTask-Wait-For Graphを構成しタスキングデッドロック検出の条件を調べることで検出を行う.しかし, この検出法は標準部分と追加機能で構成されるAda 95の標準部分のみを使用したプログラムしか対象としていないため, 追加機能を使用したプログラムの場合には検出が行えない.本発表では追加機能を含んだAda95プログラムのためのタスキングデッドロック検出ツールの開発を行った.タスキングデッドロックの要因である同期待ち関係を追加機能部分について調べ, 従来と別の種類の同期待ち関係が存在することが分かった.そこで従来のT... Ahmad Iqbal, Daisuke Horie, Yuichi Goto, and Jingde Cheng Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09) 607-612 2009年12月 [査読有り] Yuichi Goto and Jingde Cheng Proceedings of the 4th International Conference on Frontier of Computer Science and Technology (FCST '09) 619-624 2009年12月 [査読有り] Jingde Cheng, Yuichi Goto, Daisuke Horie, Junichi Miura, Toshio Kasahara, and Ahmad Iqbal Proceedings of the 7th IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA '09) 505-510 2009年8月 [査読有り] ISEE: An Information Security Engineering Environment Jingde Cheng, Yuichi Goto, and Daisuke Horie Proceedings of International Conference on Security and Cryptography (SECRYPT '09) 395-400 2009年7月 [査読有り] Misc汎用的な自動定理発見ツールの実現と応用 後藤祐一 総合研究機構研究プロジェクト研究成果報告書 第6号(平成19年度) 2008年9月 ユビキタスコンピューティングの基盤としての永続コンピューティング(研究成果報告) 後藤祐一 埼玉大学紀要, 工学部, 第1部論文集 40 67-69 2007年 ユビキタスコンピューティングの基盤としての永続コンピューティング<研究成果報告> 後藤祐一 埼玉大学紀要, 工学部, 第1部論文集 39 133-134 2006年7月 その他 研究代表者：後藤 祐一，分担者：遠藤 匠，染谷 雅美，高橋 勲男：人の集まりを支援するツールQWikS（クウィックス），情報処理推進機構:2005年度未踏ソフトウェア創造事業 「未踏ユース」 |
|
|
|
| |
