早稲田大学 · 基幹理工学部 / 基幹理工学研究科 · 教授

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• Efficient Matching of Some Fundamental Regular Expressions with Backreferences2025 · Taisei Nogami, Tachio Terauchi
• Reachability is Decidable for ATM-Typable Finitary PCF with Effect Handlers2025 · Ryunosuke Endo, Tachio Terauchi
• A Secure Mocking Approach Towards Software Supply Chain Security2025 · Daisuke Yamaguch, Shinobu Saito, Takuya Iwatsuka, Nariyoshi Chida, Tachio Terauchi
• Measuring the expressive power of practical regular expressions by classical stacking automata models2025 · Taisei Nogami, Tachio Terauchi

• ソフトウェア開発過程におけるプログラム検証技術の応用研究2025 · NTT コンピュータ&データサイエンス研究所 共同研究
• プログラム合成技術を活用したセキュリティリスクの対策技術に関する共同研究2022 · NTT 社会情報研究所 共同研究
• 依存篩型と述語制約によるプログラム検証の深化2022 · 日本学術振興会 科学研究費助成事業 基盤研究(B)
• 数理論理手法と人工知能手法の融合に基づくマルウェアの自動意味理解2020 · 日本学術振興会 科学研究費助成事業 挑戦的研究(開拓)

• 公式プロフィール
• ORCID