酒井政裕

サカイマサヒロ | Sakai Masahiro

所属機関・部署：
職名： Engineer

研究分野 (5件)：ソフトウェア , ソフトウェア , ソフトウェア , ソフトウェア , 情報学基礎論

研究キーワード (9件)：モデル検査 , 関数プログラミング , プログラミングの代数 , プログラム変換 , プログラミング言語 , 数理論理学 , 数理論理学 , 定理証明 , 定理証明

論文 (20件)：

Mitsuru Kusumoto, Keisuke Yahata, Masahiro Sakai. Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning. 2018
酒井政裕. ICFP 2016 参加報告. コンピュータソフトウェア. 2017. 34. 1. 62-66
今井健男, 酒井政裕, 萩谷昌巳. 高速なMCS列挙を利用した準最弱事前条件推定の改良. コンピュータソフトウェア. 2015. 32. 4. 161-175
酒井政裕, 高明淑, 西沢孝浩, 阿部真美子. 地域活性化のためのスマートフォンアプリを用いた実店舗および商品の推薦. 第 14 回情報科学技術フォーラム. 2015. 2. 303-306
酒井政裕, 今井健男. SAT問題と他の制約問題との相互発展. コンピュータソフトウェア. 2015. 32. 1. 103-119

MISC (4件)：

特許 (11件)：

書籍 (2件)：

講演・口頭発表等 (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件)：

学位 (1件)：

経歴 (4件)：

受賞 (3件)：

所属学会 (1件)：

日本ソフトウェア科学会

※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。登録・更新については、こちらをご覧ください。

酒井 政裕