SAKAI Masahiro - Writings Diff

  • Added parts are displayed like this.
  • Deleted parts are displayed like this.

= Writings

== 2020  〜

* Momoko Hattori, Shimpei Sawada, Shinichiro Hamaji, Masahiro Sakai, Shunsuke Shimizu, "((<Semi-static type, shape, and symbolic shape inference for dynamic computation graphs|URL:https://dl.acm.org/doi/abs/10.1145/3394450.3397465>))," In MAPL 2020: Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, pp. 11–19, Jun. 2020. [acceptance rate: 41.7%]

== 2015 〜 2019

* Mitsuru Kusumoto, Keisuke Yahata, and Masahiro Sakai, "((<Automated theorem proving in intuitionistic propositional logic by deep reinforcement learning|URL:http://arxiv.org/abs/1811.00796>))," Nov. 2018.
* 酒井 政裕, 「チャーチ数あれこれ――テクニックから理論から応用まで」, ((<"WEB+DB PRESS総集編[Vol.1~102]"|URL:http://gihyo.jp/book/2018/978-4-7741-9686-2>)), pp. 92-97, 2018年4月26日, ISBN 978-4-7741-9686-2.
* 酒井 政裕, 「((<ICFP 2016 参加報告|URL:https://www.jstage.jst.go.jp/article/jssst/34/1/34_1_62/_article/-char/ja/>))」(“Report on ICFP 2016”), コンピュータソフトウェア Vol. 34 (2017) No. 1, pp.62-66, 2017年2月, ((<"doi:10.11309/jssst.34.1_62"|URL:http://dx.doi.org/10.11309/jssst.34.1_62>))
* 今井 健男,酒井 政裕,萩谷 昌巳  「((<高速なMCS列挙を利用した準最弱事前条件推定の改良|URL:https://www.jstage.jst.go.jp/article/jssst/32/4/32_4_161/_article/-char/ja/>))」(“An Improvement of Quasi-weakest Precondition Inference using Fast MCS Enumeration”), コンピュータソフトウェア Vol. 32 (2015) No. 4, pp.161-175, 2015年11月, ((<"doi:10.11309/jssst.32.4_161"|URL:http://dx.doi.org/10.11309/jssst.32.4_161>))
* 酒井 政裕, 高 明淑, 西沢 孝浩, 阿部 真美子. 「地域活性化のためのスマートフォンアプリを用いた実店舗および商品の推薦」(“Brick-and-Mortar Shops/Goods Recommendation on Smart-Phone for Regional Promotion”) . ((<"第 14 回情報科学技術フォーラム (FIT2015)"|URL:http://www.ipsj.or.jp/event/fit/fit2015/>)). 2015年9月. 愛媛大学. 第2分冊 pp.303-306 (F-013).
* 酒井 政裕,今井 健男 「((<SAT問題と他の制約問題との相互発展|URL:https://www.jstage.jst.go.jp/article/jssst/32/1/32_1_103/_article/-char/ja/>))」(“((<Interplay between SAT and other Constraint Problems|URL:https://www.jstage.jst.go.jp/article/jssst/32/1/32_1_103/_article/-char/en/>))”),コンピュータソフトウェア Vol. 32 (2015) No. 1 , pp.103-119, 2015年2月,  ((<"doi:10.11309/jssst.32.1_103"|URL:http://dx.doi.org/10.11309/jssst.32.1_103>)).

== 2010 〜 2014

* 今井 健男,酒井 政裕,萩谷 昌己「高速なMCS列挙を利用した準最弱事前条件推定の改良」, ソフトウェア工学の基礎XXI ((<"第21回ソフトウェア工学の基礎ワークショップ (FOSE 2014)"|URL:http://fose.jssst.or.jp/fose2014/>)), ISBN 978-4-7649-0470-5, pp. 93-102, 2014年12月. [acceptance rate (full paper): 34.5%]
* Kohei Maruchi, Hiromasa Shin and Masahiro Sakai, "((<"MC/DC-like Structural Coverage Criteria for Function Block Diagrams"|URL:http://msdl.cs.mcgill.ca/conferences/amost/files/amost2014_submission_4.pdf>))", In proceedings of the 10th Workshop on Advances in Model Based Testing (A-MOST 2014), Cleveland, Ohio USA, 2014. pp. 253-259. ((<"doi:10.1109/ICSTW.2014.27"|URL:http://dx.doi.org/10.1109/ICSTW.2014.27>))
* 今井 健男, 酒井 政裕, 岩政 幹人 「ソースコードからの仕様発掘技術」(Specification Mining Technology for Automatically Inferring Software Specifications), ((<東芝レビュー Vol.68 No.8 (2013年8月号)|URL:http://www.toshiba.co.jp/tech/review/2013/08/index_j.htm>)), pp. 35-38.
* 今井 健男, 酒井 政裕, 萩谷 昌己. 「((<Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定|URL:https://www.jstage.jst.go.jp/article/jssst/30/2/30_2_207/_article/-char/ja/>))」. コンピュータソフトウェア, vol.30, no.2, pp. 207-226, May 2013. ((<"doi:10.11309/jssst.30.2_207"|URL:http://dx.doi.org/10.11309/jssst.30.2_207>)).  ((<日本ソフトウェア科学会第19回研究論文賞受賞|URL:http://www.jssst.or.jp/award/detail/ronbunsho_list.html>))
* 丸地康平,酒井政裕,進博正 「((<シーケンス制御プログラムのテストに適した新しいカバレッジ基準の提案|URL:http://id.nii.ac.jp/1001/00090467/>))」, ((<情報処理学会 第179回ソフトウェア工学研究発表会|URL:http://www.ipsj.or.jp/kenkyukai/event/se179.html>)), 2013年3月11日
* 酒井政裕, 岩政幹人 「記号実行によるプログラム改造支援技術」, ((<東芝レビュー 2012年12月号|URL:http://www.toshiba.co.jp/tech/review/2012/12/index_j.htm>)), pp. 35-38.
* 今井健男,岩政幹人,遠藤侑介,酒井政裕,鳥居健太郎, 説明基盤:組み込みシステムの要求仕様を形式的に分析・検証する一手法, 第19回 ソフトウェア工学の基礎ワークショップ FOSE 2012, ポスター,  2012年12月
* Masahiro Sakai, Kohei Maruchi and Takeo Imai, "((<Model-checking C programs against JML-like specification language|URL:http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=6462652>))," in Proceedings of the 19th Asia-Pacific Software Engineering Conference (APSEC2012), Hong Kong, 2012, pp. 174-183. ((<"doi:10.1109/APSEC.2012.68"|URL:http://dx.doi.org/10.1109/APSEC.2012.68>)). [acceptance rate (regular research track paper): 25.5%]
* 遠藤侑介, 酒井政裕, 今井健男, 岩政幹人, 福元康文, 一條泰男 「特徴語抽出を用いたテストケース-モジュール間対応抽出方法」 ((<ソフトウェアエンジニアリングシンポジウム 2012|URL:http://ses2012.ohsuga.is.uec.ac.jp/>))
* 丸地 康平,進 博正,酒井 政裕 「PLC言語向け モデルベーステスト技術」 ((<東芝レビュー 2012年3月号|URL:http://www.toshiba.co.jp/tech/review/2012/03/>)) p. 38 上段.
* 今井 健男, 酒井 政裕, 遠藤 侑介, 萩谷 昌己 「((<仮想的なタグを用いた共用体入りプログラムの事前条件推定|URL:https://sites.google.com/site/masahirosakai/ppl2012>))」, ((<第14回プログラミングおよびプログラミング言語ワークショップ (PPL2012)|URL:http://ppl2012.cs.uec.ac.jp/>)), p. 146 (ポスター), 2012年3月
* 今井 健男, 酒井 政裕, 遠藤 侑介, 小磯 貴史, 岩政 幹人, 片岡 欣夫「((<仕様発掘の動向と目指すべき方向性|URL:https://sites.google.com/site/masahirosakai/ww2012>))」, ウィンターワークショップ2012・イン・琵琶湖, 2012年1月, pp. 75-76.
* 今井 健男, 酒井 政裕, 萩谷 昌己 「((<Minimal Unsatisfiable Core列挙によるプログラムの準最弱な事前条件推定|URL:https://sites.google.com/site/masahirosakai/fose2011>))」, ソフトウェア工学の基礎XVIII ((<第18回 ソフトウェア工学の基礎ワークショップ (FOSE 2011)|URL:http://fose2011.uwanolab.jp/>)), ISBN 978-4-7649-0419-4, pp. 187-196, 近代科学社,2011年11月. [acceptance rate (full paper): 33.3%] [貢献賞受賞]
* 酒井政裕, 岩政幹人, 一條泰男, 福元康文 「((<記号実行によるプログラムからの決定表抽出|URL:https://sites.google.com/site/masahirosakai/eic2011s>))」, 2011年ソサイエティ大会論文集, p. 196, 2011年9月.
* 遠藤侑介, 酒井政裕, 今井健男, 岩政幹人 「((<"Eacov: 特徴語抽出を用いた仕様-コード間対応復元"|URL:https://sites.google.com/site/masahirosakai/eacov>))」, ソフトウェアエンジニアリングシンポジウム2011(SES2011) ポスター展示, 2011年9月.

== 〜 2009

* 酒井政裕, 今井健男, 片岡欣夫 「データ構造に関する仕様を含め検証できるC言語プログラム部品検証ツール CForge」, ((<東芝レビュー 2009年8月号|URL:http://www.toshiba.co.jp/tech/review/2009/08/index_j.htm>)), pp. 20-23.
* 酒井政裕, 今井健男, 片岡欣夫 「C言語プログラム検証フレームワーク」 ((<東芝レビュー 2009年3月号|URL:http://www.toshiba.co.jp/tech/review/2009/03/index_j.htm>)) p. 41.
* 酒井政裕, 今井健男「((<"CForge: C言語プログラムのための有界検査ツール"|URL:https://sites.google.com/site/masahirosakai/ppl2009>))」, ((<"第11回プログラミングおよびプログラミング言語ワークショップ(PPL2009)"|URL:http://millsmess.cs.uec.ac.jp/ppl2009/>)), pp. 118-132, 2009年3月.
* 酒井政裕,萩野達也,「((<非正格関数の融合変換における始代数の存在について|URL:https://sites.google.com/site/masahirosakai/ppl2008>))」, ((<"第10回プログラミングおよびプログラミング言語ワークショップ (PPL2008)"|URL:http://www.nue.riec.tohoku.ac.jp/ppl2008/>)), pp. 82-85, 2008年3月.
* ((<修士論文「非正格関数に対して適用可能な融合変換」|MasterThesis>)), 2007年1月.
* ((<Haskellによる関数プログラミング入門>)), 日経ソフトウェア2006年6月号, pp. 62-69.

== Patents

* US Patent. Masahiro Sakai, Myungsook Ko, Eiichi Sunagawa, Takahiro Nishizawa, Tetsuya Gotou. ((<Information processing apparatus, information processing system, information processing method, and recording medium |URL:https://patents.google.com/patent/US10754906B2>)). Patent number: 10754906B2. Application number: 14/856,002, Publication number: US20160085816 A1, Filing date: Sep. 16, 2015, based on JP2014-191940
* JP特許, 酒井 政裕, 高 明淑, 砂川 英一, 西沢 孝浩, 後藤 哲也. ((<情報処理装置、情報処理システム、情報処理方法及びプログラム|URL:http://jglobal.jst.go.jp/detail?JGLOBAL_ID=201603004454898580>)).  特許第6397704号, 特開2016-062511, 特願2014-191940, 出願日: 2014年09月19日
* US Patent. Takeo Imai, Masahiro Sakai. ((<Precondition Generating Apparatus|URL:https://www.google.com/patents/US8707273>)). Patent number: 8,707,273. Application number: 13/453006, Publication number: US 2012/0266133 A1, Filing date: Apr 23, 2012, based on JP2011-538131
* JP特許, 今井健男, 酒井 政裕, ((<事前条件生成装置およびその方法、ならびにプログラム|URL:http://astamuse.com/ja/published/JP/No/WO2011052030>)), 特許第5468615号, 公開番号WO2011-052030, 特願P2011-538131, 出願日 2009年10月26日
* US Patent. Masahiro Sakai, Takeo Imai. ((<Pre-condition generation device, post-condition generation device, and method for generating these conditions|URL:https://www.google.com/patents/US8584093>)). Patent number: 8,584,093, Application number: 12/721,749, Publication number: US20100235818 A1, Filing date: Mar 11, 2010, based on JP2009-63253
* JP特許, 酒井 政裕, 今井健男, ((<事前条件生成装置および事後条件生成装置、ならびにこれらの方法|URL:http://jglobal.jst.go.jp/detail.php?from=API&JGLOBAL_ID=201003078962061228>)), 特許第5072889号, 特開2010-218148,  特願2009-063253, 出願日 2009年03月16日

== Patents In Application

* 平井 太一朗, 鹿沼 光誠, 日野 紘之, 吉村 悠, 上原 一起, 木下 僚, 酒井 政裕, 河村 圭悟, 木戸 魁三郎, 八幡 啓祐, 仲田 圭佑, 飯田 耀, 森山 拓郎, 吉川 真史, 小笠原 努. 制御システム、制御方法、および制御プログラム. ((<特開2023-068307|URL:https://www.j-platpat.inpit.go.jp/c1800/PU/JP-2023-068307/E68F8F444671CCA8672FA03BD4A2DC9F12415E4F486906D6E5E28477798A4421/11/ja>)), 特願2021-179275, 出願日: 2021/11/02.
* 吉川 真史, 酒井 政裕. 訓練装置、推定装置、訓練方法、推定方法、プログラム及びコンピュータ読み取り可能な非一時的記憶媒体 (Training device, inference device, training method, inference method, program, and computer-readable non-transitory storage medium). ((<"PCT/JP2020/030065"|URL:https://patents.google.com/patent/WO2021025075A1>)), 出願日: 2020-08-05
# * US Application, Masahiro Sakai, Myungsook Ko, Eiichi Sunagawa, Takahiro Nishizawa, Tetsuya Gotou. ((<Information processing apparatus, information processing system, information processing method, and recording medium |URL:https://www.google.com/patents/US20160085816>)). Application number: 14/856,002, Publication number: US20160085816 A1, Filing date: Sep. 16, 2015, based on JP2014-191940
# * JP出願, 酒井 政裕, 高 明淑, 砂川 英一, 西沢 孝浩, 後藤 哲也. ((<情報処理装置、情報処理システム、情報処理方法及びプログラム|URL:http://jglobal.jst.go.jp/detail?JGLOBAL_ID=201603004454898580>)). 2016年04月25日, 特願2014-191940, 出願日: 2014年09月19日
* JP出願, 今井 健男, 酒井 政裕. ((<状態遷移対応推定装置|URL:http://jglobal.jst.go.jp/detail?JGLOBAL_ID=201603004304764232>)). 特開2016-057978, 特願2014-185487, 出願日: 2014年09月11日
* JP出願, 遠藤 侑介, 進 博正, 岩政 幹人, 丸地 康平, 酒井 政裕. ((<日照量計算装置、経路提案装置および日照量計算方法|URL:http://jglobal.jst.go.jp/detail?JGLOBAL_ID=201503005947213240>)). 特開2015-132539, 特願2014-004108, 出願日: 2014年1月14日
* JP出願, 丸地 康平, 酒井 政裕, 進 博正, 吉澤 晋, 酒井 宏隆, 新田 能之, 吉田 順陽, 梅村 憲弘, 服部 可奈子. ((<テストパターンの生成装置、その生成方法及びその生成プログラム|URL:http://jglobal.jst.go.jp/detail.php?JGLOBAL_ID=201403027327408454>)), 特開2014-130414, 特願2012-286636, 出願日: 2012年12月28日
# * US Application. Takeo Imai, Masahiro Sakai. ((<Precondition Generating Apparatus|URL:https://www.google.com/patents/US20120266133>)). Application number: 13/453006, Publication number: US 2012/0266133 A1, Filing date: Apr 23, 2012, based on JP2011-538131
# * JP出願. 今井 健男, 酒井 政裕. ((<事前条件生成装置|URL:http://www.google.com/patents/WO2011052030A1>)). 公告番号WO/2011/052030, 出願番号PCT/JP2009/068351, 出願日: 2009年10月26日
* US Application, Kohei Maruchi, Yoshio Kataoka, Masahiro Sakai. ((<Program Verification Apparatus, Program Verification Method, and Program Storage Medium|URL:https://www.google.com/patents/US20090172643>)). Application number: 12/343,051, Publication number: US 2009/0172643 A1, Filing date: Dec 23, 2008, based on JP2007-332152
* JP出願, 丸地 康平, 片岡 欣夫, 酒井 政裕. ((<プログラム検証装置、プログラム検証方法、検証プログラム|URL:http://jglobal.jst.go.jp/detail.php?JGLOBAL_ID=200903017628788710>)). 特開2009-157456, 特願2007-332152, 出願日: 2007年12月25日