関根 大剛

プロフィール

東京大学 大学院情報理工学系研究科 コンピュータ科学専攻 蓮尾研究室の修士課程2年です。指導教員は蓮尾一郎講師です。

研究分野

• ハイブリッドシステムの形式検証
• 超準解析

論文

• Kohei Suenaga, Hiroyoshi Sekine, and Ichiro Hasuo.
  Hyperstream Processing Systems: Nonstandard Modeling of Continuous-Time Signals.
  Proc. POPL 2013, p.417-430. ACM.
  [acm | local copy with appendices]
• Hiroyoshi Sekine, Kohei Suenaga, and Ichiro Hasuo.
  Simulink Blocks as Stream Processing Systems — An Approach from Nonstandard Analysis (Preliminary Report).
  Proc. NSV 2012
• Hiroyoshi Sekine.
  Simulink Blocks as Stream Processing — An Approach from Nonstandard Analysis.
  （邦題: ストリーム処理言語による Simulink ブロックの表現 ―超準解析によるアプローチ―）
  卒業論文（東京大学）, 2012.

出席した学会・ワークショップ等

• SLAGICS 2013（ALGIとSLACSの共催） （京都, 2013）
• 日本ソフトウェア科学会第30回大会 （東京, 2013）
• POPL 2013 （イタリア・ローマ, 2013）
• CAV 2012 and NSV 2012 （米国・バークレー, 2012）
• NII湘南会議: Hybrid Systems — Theory and Practice, Seriously （逗子, 2012）
• CSCAT 2012 （日吉, 2012）

TA

• 理学部情報科学科 情報科学基礎実験 TA （2012年10月～2013年3月, 2013年10月～）
• 教養学部 情報科学 TA （2012年10月～2013年1月, 2013年10月～）
• 教養学部 情報 TA （2012年4月～2012年7月, 2013年4月～2013年7月）
• 教養学部 情報システム利用入門 TA （2013年5月～2013年7月）

連絡先

• 〒113-0033 東京都文京区本郷7-3-1 理学部7号館415号室
• Email: h.sekine.1989 [at] gmail.com