基本情報

写真b

森口 草介

MORIGUCHI SOSUKE


研究分野・キーワード

プログラム理論、定理証明、形式検証

出身大学 【 表示 / 非表示

  • 学校名:東京工業大学
    学部(学系)名:工学部
    学科・専攻等名:情報工学科

    学校の種類:大学
    卒業年月:2007年03月
    卒業区分:卒業
    所在国:日本国

出身大学院 【 表示 / 非表示

  • 大学院名:東京工業大学
    研究科名:情報理工学研究科
    専攻名:計算工学専攻

    修了課程:博士課程
    修了年月:2013年03月
    修了区分:修了
    所在国:日本国

取得学位 【 表示 / 非表示

  • 学位名:博士(工学)
    学位の分野名:ソフトウェア
    学位授与機関名:東京工業大学
    取得方法:課程
    取得年月:2013年03月

学内職務経歴 【 表示 / 非表示

  • 職務遂行組織:関西学院大学 理工学研究科
    経歴名:博士研究員
    職務期間:2014年04月 ~ 2015年03月

学外略歴 【 表示 / 非表示

  • 所属(勤務)先名:神奈川大学
    経歴名:外部資金雇用研究員
    経歴期間:2013年04月 ~ 2014年03月

所属学会・委員会 【 表示 / 非表示

  • 所属学会:日本ソフトウェア科学会

    学会所在国:日本国

  • 所属学会:情報処理学会

    学会所在国:日本国

  • 所属学会:ACM

    学会所在国:アメリカ合衆国

専門分野(科研費分類) 【 表示 / 非表示

  • 専門分野(科研費分類):ソフトウェア

 

学位論文 【 表示 / 非表示

  • 記述言語:日本語
    論文題目名:定理証明支援系によるプログラム検証の対話的修正に関する研究
    学位授与年月:2013年03月
    著者氏名(共著者含):森口 草介

    共著区分:単著

論文 【 表示 / 非表示

  • 記述言語:日本語
    論文題目名:コード生成に対するホーア論理の妥当性
    掲載誌名:非公開
    掲載誌 発行年月:2017年03月
    著者氏名(共著者含):森口草介

    掲載種別:研究論文(研究会,シンポジウム資料等)
    共著区分:単著

  • 記述言語:英語
    論文題目名:Superposition of Qualitative Rectangles using a Quantitative Model
    掲載誌名:Proceedings of the 9th International Conference on Agents and Artificial Inteligence - Volume 2  (頁 423 ~ 430)
    掲載誌 発行年月:2017年
    著者氏名(共著者含):Takeaki Kato, Sosuke Moriguchi, Kazuko Takahashi

    掲載種別:研究論文(国際会議プロシーディングス)
    担当部分:形式化および性質の証明(第一著者と共同)
    共著区分:共著

  • 記述言語:英語
    論文題目名:Verification of Content-Centric Networking using Proof Assistant
    掲載誌名:IEICE Transactions on Communications  E99-B巻  11号  (頁 2297 ~ 2304)
    掲載誌 発行年月:2016年11月
    著者氏名(共著者含):Sosuke MORIGUCHI, Takashi MORISHIMA, Mizuki GOTO, Kazuko TAKAHASHI

    掲載種別:研究論文(学術雑誌)
    共著区分:共著

  • 記述言語:英語
    論文題目名:Formalization of a Surface Subdivision Allowing a Region with Holes without Coordinates
    掲載誌名:Proceedings of ADG 2016  (頁 190 ~ 209)
    掲載誌 発行年月:2016年06月
    著者氏名(共著者含):Kazuko Takahashi, Sosuke Moriguchi, Mizuki Goto

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

  • 記述言語:英語
    論文題目名:Towards Verified Construction for Planar Class of a Qualitative Spatial Representation
    掲載誌名:EPiC Series in Computing  39巻  (頁 117 ~ 127)
    掲載誌 発行年月:2016年03月
    著者氏名(共著者含):Sosuke Moriguchi, Mizuki Goto, Kazuko Takahashi

    掲載種別:研究論文(国際会議プロシーディングス)
    共著区分:共著

全件表示 >>

学術関係受賞 【 表示 / 非表示

  • 受賞学術賞名:BEST PAPER AWARD
    受賞年月:2015年08月18日
    受賞国:フランス共和国
    受賞区分:国際学会・会議・シンポジウム等の賞
    授与機関:Elhadi Shakshuki, FNC Steering Chair and Founder
    受賞者・受賞グループ名:Sosuke Moriguchi, Takashi Morishima, Mizuki Goto, Kazuko Takahashi

  • 受賞学術賞名:論文賞
    受賞年月:2015年03月12日
    受賞国:日本国
    受賞区分:国内学会・会議・シンポジウム等の賞
    授与機関:PPL2015プログラム委員会
    受賞者・受賞グループ名:森口草介,高橋和子

 
 
 

学会・委員会等活動 【 表示 / 非表示

  • 学会・委員会:日本ソフトウェア科学会
    役職・役割名:ディペンダブルシステム研究会 運営委員
    活動期間:2013年04月 ~ 2016年03月