|
南出靖彦 研究業績一覧 (22件)
論文
-
釜野雅基,
福田大我,
南出靖彦.
非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定,
コンピュータソフトウェア,
40,
1,
Feb. 2023.
-
Michikazu Hirata,
Yasuhiko Minamide,
Tetsuya Sato.
Program Logic for Higher-Order Probabilistic Programs in Isabelle/HOL,
16th International Symposium on Functional and Logic Programming(FLOPS 2022),
Lecture notes in computer science, LNCS,
volume 13215,
May 2022.
公式リンク
-
高橋和也,
南出靖彦.
拡張正規表現マッチングの計算量解析,
コンピュータソフトウェア,
Vol. 38,
No. 2,
pp. 53-70,
Apr. 2021.
-
Qizhen Zhu,,
Yasuhiko Minamide,
Hitoshi Akama.
Solving String Constraints with Streaming String Transducers,
Journal of Information Processing,
27,
Oct. 2019.
-
Takayuki Miyazaki,
Yasuhiko Minamide.
Derivatives of Regular Expressions with Lookahead,
June 2019.
-
Yuya Uezato,
Yasuhiko Minamide.
Configuration Reachability Analysis of Synchronized Recursive Timed Automata,
コンピュータソフトウェア,
Vol. 35,
No. 1,
pp. 140-168,
Jan. 2018.
-
Yasuhiko Minamide.
Weighted Pushdown Systems with Indexed Weight Domains,
Logical Methods in Computer Science,
International Federation of Computational Logic,
Vol. 12,
2,
June 2016.
-
Uezato, Y.,
Yasuhiko Minamide.
Monoid-based approach to the inclusion problem on superdeterministic pushdown automata,
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics),
Vol. 9840,
pp. 393-405,
2016.
国際会議発表 (査読有り)
-
Takayuki Miyazaki,
Yasuhiko Minamide.
Context-Free Grammars with Lookahead,
Language and Automata Theory and Applications(LATA),
Mar. 2021.
-
Uezato Yuya,
Yasuhiko Minamide.
Synchronized Recursive Timed Automata,
International Conference on Logic for Programming, Artificial Intelligence, and Reasoning,
Lecture notes in computer science, LNCS,
Springer,
9452,
249-265,
Nov. 2015.
国内会議発表 (査読有り)
国内会議発表 (査読なし・不明)
-
平田路和,
南出靖彦,
佐藤哲也.
Isabelle/HOLによる高階確率的プログラム検証,
日本ソフトウェア科学会第38回大会,
Aug. 2021.
公式リンク
-
釜野 雅基,
福田 大我,
南出 靖彦.
非決定性 Streaming String Transducer と Parikh オートマトンを用いた文字列制約の充足可能性判定,
日本ソフトウェア科学会第38回大会,
Aug. 2021.
-
宮嵜貴之,
南出靖彦.
先読み付き文脈自由文法とその微分,
Mar. 2020.
-
宮嵜 貴之,
南出 靖彦.
先読み付き文脈自由文法の微分,
日本ソフトウェア科学会第36回大会,
Aug. 2019.
-
高橋 和也,
南出 靖彦.
バックトラックによる正規表現マッチングの計算量判定の実装,
第21回プログラミングおよびプログラミング言語ワークショップ,
Mar. 2019.
-
宮嵜 貴之,
南出 靖彦.
先読み付き正規表現と解析表現の微分,
Mar. 2019.
-
高橋和也,
南出靖彦.
語の包含判定に基づくサニタイズ文脈の自動決定,
第20回プログラミングおよびプログラミング言語ワークショップ,
Mar. 2018.
-
赤間仁志,
南出靖彦.
Streaming String Transducerの合成の形式的証明,
第20回プログラミングおよびプログラミング言語ワークショップ,
Mar. 2018.
-
中川 みなみ,
南出 靖彦.
バックトラックによる正規表現マッチングの時間計算量解析,
第107回プログラミング研究発表会,
Jan. 2016.
-
上里 友弥,
南出 靖彦.
更新可能時間オートマトンの新たな拡張について,
日本ソフトウェア科学会32回大会,
Sept. 2015.
[ BibTeX 形式で保存 ]
[ 論文・著書をCSV形式で保存
]
[ 特許をCSV形式で保存
]
|