論文

発表年月 タイトル／共同研究者 掲載誌 巻・号・頁 学術機関等
2024/09 Improving LLM-based code completion using LR parsing-based candidates
Md Monir Ahammod Bin Atique, Kwanghoon Choi, Isao Sasano, Hyeon-Ah Moon
 Proceedings of the SCSS 2024 Work in Progress Workshop 1から 6ページまで
2024/04 Ranked Syntax Completion With LR Parsing
Kwanghoon Choi, Sooyeon Hwang, Hyeonah Moon, Isao Sasano
 Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing 1242から 1251ページまで ACM
2023/06 A text-based syntax completion method using LR parsing and its evaluation
Isao Sasano, Kwanghoon Choi
 Science of Computer Programming 228巻 102957から 102957ページまで Elsevier BV
2023/06 光るキーボードを用いた写経型プログラミング学習の支援
平澤 巧望, 篠埜 功
 情報処理学会論文誌プログラミング（PRO） 16巻 2号 1から 27ページまで 情報処理学会
2021/10 Server-Side Computation of Package Dependencies in Package-Management Systems
Nobuhiro Kasai, Isao Sasano
 The 19th Asian Symposium on Programming Languages and Systems LNCS 13008巻 62から 79ページまで Springer International Publishing
2021/05 Messer: マクロ展開過程を表示できるC++17に準拠したCプリプロセッサの対話型環境
今泉良紀, 篠埜 功
 コンピュータソフトウェア 38巻 2号 27から 45ページまで 日本ソフトウェア科学会
2021/02 写経型学習の欠点を補う摂動を用いた理解度確認問題生成手法 ― 二項演算子の事例に基づく有効性評価
亀井亮汰, 吉塚大浩, 篠埜 功, 古宮誠一
 コンピュータソフトウェア 38巻 1号 111から 139ページまで 日本ソフトウェア科学会
2021/01 A text-based syntax completion method using LR parsing
Isao Sasano, Kwanghoon Choi
 Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation ACM
2020/01 An approach to generate text-based IDEs for syntax completion based on syntax specification
Isao Sasano
 Proceedings of the 2020 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2020 ACM Press
2019/10 Personalized spoiler detection in tweets by using support vector machine
Isao Sasano, Kei Morisawa, Yutaka Hirakawa
 Journal of Advances in Technology and Engineering Research 5巻 5号 219から 226ページまで TAF Publishing
2019/10 Inductive Theorem Proving in Non-terminating Rewriting Systems and Its Application to Program Transformation
Kentaro Kikuchi, Takahito Aoto, Isao Sasano
 Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019 13から 14ページまで ACM
2019/06 PVRotate: An Improved Vibration-Based User Authentication Method
Yutaka Hirakawa, Fumiya Hirose, Isao Sasano
 International Journal of Future Computer and Communication 8巻 2号 50から 54ページまで EJournal Publishing
2018/01 Improvements in a Puzzle Authentication Method
Yutaka Hirakawa, Ayaka Shimoda, Isao Sasano, Kazuo Ohzeki
 Journal of Computer and Communications 06巻 01号 12から 20ページまで Scientific Research Publishing, Inc.
2017/01 Detecting Code Clones with Gaps by Function Applications
Tsubasa Matsushita, Isao Sasano
 PROCEEDINGS OF THE 2017 ACM SIGPLAN WORKSHOP ON PARTIAL EVALUATION AND PROGRAM MANIPULATION (PEPM'17) 12から 22ページまで ASSOC COMPUTING MACHINERY
2016/05 A tool for visualizing buffer overflow with detecting return address overwriting
Isao Sasano
 BICT 2015 - 9th EAI International Conference on Bio-Inspired Information and Communications Technologies 2巻 5号 Association for Computing Machinery, Inc
2015/01 A Tool for Visualizing Buffer Overflow with Detecting Return Address Overwriting.
Isao Sasano
 BICT 2015, Proceedings of the 9th EAI International Conference on Bio-inspired Information and Communications Technologies (formerly BIONETICS), New York City, United States, December 3-5, 2015 438から 441ページまで ICST/ACM
2014/01 Toward Modular Implementation of Practical Identifier Completion on Incomplete Program Text.
Isao Sasano
 8th International Conference on Bio-inspired Information and Communications Technologies, BICT 2014, Boston, MA, USA, December 1-3, 2014 ICST
2012/03 An approach to completing variable names for implicitly typed functional languages
Isao Sasano, Takumi Goto
 Higher-Order and Symbolic Computation 25巻 1号 127から 163ページまで Kluwer Academic Publishers
2012/01 An approach to completing variable names for implicitly typed functional languages.
Takumi Goto, Isao Sasano
 Proceedings of the ACM SIGPLAN 2012 Workshop on Partial Evaluation and Program Manipulation, PEPM 2012, Philadelphia, Pennsylvania, USA, January 23-24, 2012 131から 140ページまで ACM
2012/01 Marker-directed optimization of UnCAL graph transformations
Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano, Isao Sasano
 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 7225巻 123から 138ページまで Springer
2012/01 Embedding the C language into SML#
Isao Sasano, Atsushi Ohori
 Computer Software 29巻 2号 193から 203ページまで
2011/10 マルチエージェントシステムにおける行動制御 : PSOにおける重み係数の強化学習
五十嵐 治一, 半田 雅人, 石原 聖司, 篠埜 功
 電子情報通信学会論文誌. D, 情報・システム = The IEICE transactions on information and systems (Japanese edition) 94巻 10号 1612から 1621ページまで 一般社団法人電子情報通信学会
2011/09 GRoundTramによるATLの双方向化の実現
篠埜 功, 胡, 振江, 日高, 宗一郎, 稲葉, 一浩, 加藤, 弘之, 中野 圭介
 日本ソフトウェア科学会第28回大会講演論文集
2011/01 Toward bidirectionalization of ATL with GRoundTram
Isao Sasano, Zhenjiang Hu, Soichiro Hidaka, Kazuhiro Inaba, Hiroyuki Kato, Keisuke Nakano
 Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 6707巻 138から 151ページまで Springer
2010/03 多相型言語の変数名補完を行うEmacsモードの開発（共著）
後藤 拓実, 篠埜 功
 第12回プログラミングおよびプログラミング言語ワークショップ論文集 177から 190ページまで
2007/01 Lightweight fusion by fixed point promotion
Atsushi Ohori, Isao Sasano
 ACM SIGPLAN NOTICES 42巻 1号 143から 154ページまで ASSOC COMPUTING MACHINERY
2005/01 Maximum marking problems with accumulative weight functions
Sasano, I, M Ogawa, ZJ Hu
 THEORETICAL ASPECTS OF COMPUTING - ICTAC 2005 3722巻 562から 578ページまで SPRINGER-VERLAG BERLIN
2003/01 Iterative-free program analysis
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano
 ACM SIGPLAN Notices 38巻 9号 111から 123ページまで Association for Computing Machinery (ACM)
2002/11 Algebraic construction of graphs with bounded tree width and its applications - Catamorphic Approach to Program Analyses.
Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano, Masato Takeichi
 The Third Asian Workshop on Programming Languages and Systems, APLAS'02, Shanghai Jiao Tong University, Shanghai, China, November 29 - December 1, 2002, Proceedings 58から 73ページまで
2002/03 変換戦略の記述に基づくプログラムの自動生成システムの実装
横山 哲郎, 篠埜 功, 胡 振江, 武市 正人
 情報処理学会論文誌 43巻 SIG3(PRO14)号 62から 77ページまで
2002/01 Derivation of linear algorithm for mining optimized gain association rules（共著）
篠埜 功, 胡 振江, 武市 正人, 小川 瑞史
 コンピュータソフトウェア 19巻 4号 283から 288ページまで
2001/10 最大マーク付け問題の効率的プログラムの自動生成
横山 哲郎, 篠埜 功, 胡 振江, 武市 正人
 情報処理学会第36回プログラミング研究会, 高知工科大学, 2001年10月22日〜23日
2001/09 最大重み和問題の線形時間アルゴリズムの導出
篠埜 功, 胡 振江, 武市 正人, 小川 瑞史
 コンピュータソフトウェア 18巻 5号 1から 16ページまで
2001/03 ナップサック問題およびその発展問題の統一的解法
篠埜 功, 胡 振江, 武市 正人, 小川 瑞史
 コンピュータソフトウェア 18巻 2号 59から 63ページまで 日本ソフトウェア科学会
2001/01 Generation of efficient programs for solving maximum multi-marking problems
Isao Sasano, Zhenjiang Hu, Masato Takeichi
 Workshop on the Semantics, Applications, and Implementation of Program Generation, Lecture Notes in Computer Science 2196巻 72から 91ページまで Springer-Verlag
2000/09 Make it practical: A generic linear-time algorithm for solving maximum-weightsum problems
Sasano, I, ZJ Hu, M Takeichi, M Ogawa
 ACM SIGPLAN NOTICES 35巻 9号 137から 149ページまで ASSOC COMPUTING MACHINERY
2000/05 グラフの探索関数の再帰的定義と変換(特集●プログラミング及びプログラミング言語)
篠埜 功, 胡 振江, 武市 正人
 コンピュータソフトウェア 17巻 3号 194から 211ページまで Japan Society for Software Science and Technology (JSSST)
2000/05 グラフの探索関数の再帰的定義と変換
篠埜 功, 胡 振江, 武市 正人
 コンピュータソフトウェア 17巻 3号 2から 19ページまで