Ikuo Kobori

• 1.0.0 略歴
• 1.1.0 資格等
• 2.0.0 発表文献

筑波大学大学院システム情報工学研究科コンピュータサイエンス専攻博士前期課程 プログラム論理研究室に所属していました．

略歴

• 2012.03 群馬工業高等専門学校 電子情報工学科 卒業，準学士(工学)
  • 樋口研究室(メカトロ研究室)
  • 卒業研究 「GPS 誘導船舶の試作設計に関する評価・検討」
  • 浅見篤氏との共同研究
• 2014.03 筑波大学 情報学群情報科学類ソフトウェアサイエンス専攻 卒業，学士(情報科学)
• 2016.03 筑波大学大学院 システム情報工学研究科コンピュータサイエンス専攻 博士前期課程 修了，修士(工学)

資格等

• 応用情報技術者
• 第一級陸上無線技術士

発表文献

• 小堀育男，亀山幸義，オレッグ・キセリョーヴ．shift/resetによる結果型変更の実現．第17回プログラミングおよびプログラミング言語ワークショップ （ポスター発表），松山市，愛媛県，2015.
• Ikuo Kobori, Yukiyoshi Kameyama, Oleg Kiselyov. ATM without Tears: Prompt-Passing Style Transformation for Typed Delimited-Control Operators. In: 2015 Workshop on Continuations: pre-proceedings, 16 pages, London, UK, April, 2015.

その他