研究者
J-GLOBAL ID:201101069926322342   更新日: 2023年10月25日

酒井 政裕

サカイ マサヒロ | Sakai Masahiro
所属機関・部署:
職名: Engineer
研究分野 (5件): ソフトウェア ,  ソフトウェア ,  ソフトウェア ,  ソフトウェア ,  情報学基礎論
研究キーワード (9件): モデル検査 ,  関数プログラミング ,  プログラミングの代数 ,  プログラム変換 ,  プログラミング言語 ,  数理論理学 ,  数理論理学 ,  定理証明 ,  定理証明
論文 (20件):
もっと見る
MISC (4件):
  • 酒井 政裕. チャーチ数あれこれ--テクニックから理論から応用まで. WEB+DB PRESS総集編[Vol.1~102]. 2018. 92-97
  • 丸地 康平, 進 博正, 酒井 政裕. PLC言語向け モデルベーステスト技術. 東芝レビュー. 2012. 67. 3. 38-38
  • 酒井政裕, 今井健男, 片岡欣夫. C言語プログラム検証フレームワーク. 東芝レビュー. 2009. 64. 3. 41-41
  • 酒井政裕. Haskellによる関数プログラミング入門. 日経ソフトウェア. 2006. 62-69
特許 (11件):
書籍 (2件):
  • 型システム入門 : プログラミング言語と型の理論
    オーム社 2013 ISBN:9784274069116
  • 抽象によるソフトウェア設計
    オーム社 2011 ISBN:9784274068584
講演・口頭発表等 (6件):
  • BNN verification dataset for Max-SAT Evaluation 2020
    (NII Shonan Meeting (No.180) on “The Art of SAT” 2023)
  • Graph Neural Networkを用いたグラフの木幅予測
    (基盤(S) 離散構造処理系プロジェクト 2019年度 秋のワークショップ 2019)
  • A Decision Table Analyzer for Detecting Variability in Source Code
    (Fourth Workshop on Formal Methods and Analysis in Software Product Line Engineering (FMSPLE 2013) 2013)
  • 説明基盤:組み込みシステムの要求仕様を形式的に分析・検証する一手法
    (第19回 ソフトウェア工学の基礎ワークショップ FOSE 2012 2012)
  • 仮想的なタグを用いた共用体入りプログラムの事前条件推定
    (In 第14回プログラミングおよびプログラミング言語ワークショップ 2012)
もっと見る
Works (2件):
  • Ruby-GNOME2
  • Ruby-GNOME2
学位 (1件):
  • 修士(政策・メディア) (慶應義塾大学)
経歴 (4件):
  • 2017/05 - 現在 Preferred Networks, Inc. Engineer
  • 2007/04 - 2017/04 株式会社東芝 研究開発センター システム技術ラボラトリー
  • 2005/04 - 2007/03 慶應義塾大学大学院 政策・メディア研究科 修士課程
  • 2001/04 - 2005/03 慶應義塾大学 総合政策学部
受賞 (3件):
  • 2017/04 - 株式会社東芝 研究開発センター 業績賞優秀賞
  • 2015 - 日本ソフトウェア科学会 日本ソフトウェア科学会第19回研究論文賞
  • 2014/07 - 株式会社東芝 コミュニティ・ソリューション社 知的財産活動奨励賞
所属学会 (1件):
日本ソフトウェア科学会
※ J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る