教員紹介トップページへ | 三重大学トップページへ |
職名 | 助教 | |||||||||
氏名 | みつはし いちろう 三橋 一郎 |
|||||||||
生年月 | 1978.11 | |||||||||
|
||||||||||
TEL | ||||||||||
FAX | ||||||||||
mitsuhashi@crc. (末尾に mie-u.ac.jp を補ってください) | ||||||||||
個人のホームページ | http://www.crc.mie-u.ac.jp/rm/ | |||||||||
学歴 | 三重大学工学部情報工学科 学士課程 (1997年04月01日~2001年03月25日) 卒業・修了
三重大学大学院工学研究科情報工学専攻 修士課程・博士前期課程 (2001年04月01日~2003年03月25日) 卒業・修了 三重大学大学院工学研究科システム工学専攻 博士課程・博士後期課程 (2003年04月01日~2006年03月25日) 卒業・修了 |
|||||||||
学位 | 2006.03 博士(工学) 三重大学大学院
|
|||||||||
所属学会 | 日本知財学会 産学連携学会 | |||||||||
社会活動 | ||||||||||
職歴 | 2006.04~2007.11 (独)新エネルギー・産業技術総合開発機構 NEDOフェロー
2007.12~ 三重大学 助教 |
|||||||||
学術(芸術)賞 | IPSJ Digital Courier 船井若手奨励賞,財団法人船井情報科学振興財団
|
|||||||||
専門分野 | ||||||||||
現在の研究課題 | 特許公開情報と安全保障貿易管理法令との対応に基づく技術流出分析ツール・手法の構築 | |||||||||
担当科目 | ||||||||||
主な業績等 | 単項的TRSにおける単一化問題について 共著 2003.03 情報処理学会論文誌:プログラミング 44 67-77
The Joinability and Unification Problems for Confluent Semi-Constructor TRSs 共著 2004.06 Lecture Notes in Computer Science 3091 285-300 The Reachability and Related Decision Problems for Monadic and Semi-Constructor TRSs 共著 2006.03 Information Processing Letters 98 219-224 The Joinability and Related Decision Problems for Confluent Semi-Constructor TRSs 共著 2006.05 情報処理学会論文誌 47 1502-1514 The Confluence Problem for Flat TRSs 共著 2006.09 Lecture Notes in Artificial Intelligence 4120 68-81 An Extension of E-overlapping Notion in Term Rewriting Systems and its applications 共著 2008.09 第7回情報科学技術フォーラム講演論文集 A 11- 厳密解法と発見的手法の組み合わせによるサイズ可変ビンパッキング問題の解法 共著 2009.09 第8回情報科学技術フォーラム講演論文集 A 17- ツーバイフォーパネル部材の最適木取ソフトウェアの開発 共著 2009.12 三重大学社会連携研究センター研究報告 87-92 The Unification Problem for Confluent Semi-Constructor TRSs 共著 2010.11 IEICE Transactions on Information and Systems E93-D 2962-2978 弱単項TRSのE重なり性について 共著 2012.10 情報処理学会論文誌 53 2313-2327 コンパイラの理論と作成技法 共著 2010.06 サイエンス社 |