Waseda University · School of Fundamental Science and Engineering / Graduate School of Fundamental Science and Engineering · 教授

This is a public-data preview. Personalized fit, contact angles, and saved workflows require sign-in.

• 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 · 日本学術振興会 科学研究費助成事業 挑戦的研究(開拓)

• Official profile
• ORCID