×
{{flash.message}}
Toggle navigation
Toggle navigation
日本語
|
English
新規登録
ログイン
寺内 多智弘
テラウチ タチオ (Tachio Terauchi)
更新日: 04/15
ホーム
研究キーワード
研究分野
経歴
学歴
委員歴
受賞
論文
講演・口頭発表等
所属学協会
共同研究・競争的資金等の研究課題
受賞
9
表示件数
20件
20件
50件
100件
2024年3月
論文賞, Regular Expressions with Backreferences on Multiple Context-Free Languages, and Star-Closedness, ソフトウェア科学会 第26回プログラミングおよびプログラミング言語ワークショップ (PPL 2024)
野上 大成, 寺内 多智弘
2023年3月
論文賞, 後方参照付正規表現の表現力について, ソフトウェア科学会 第25回プログラミングおよびプログラミング言語ワークショップ (PPL 2023)
野上 大成, 寺内 多智弘
2023年1月
Distinguished Paper Award, Modular Primal-Dual Fixpoint Logic Solving for Temporal Verification, The 50th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2023)
Hiroshi Unno, Tachio Terauchi, Yu Gu, Eric Koskinen
2022年10月
辻井重男セキュリティ論文賞 大賞, Repairing DoS Vulnerability of Real-World Regexes, 日本セキュリティ・マネジメント学会
千田 忠賢, 寺内 多智弘
2022年3月
論文賞, 代数的エフェクトハンドラを持つ言語のためのトレースエフェクト, ソフトウェア科学会 第24回プログラミングおよびプログラミング言語ワークショップ (PPL 2022)
川俣 楓河, 寺内 多智弘
2019年12月
早稲田大学リサーチアワード 国際研究発信力, 早稲田大学
寺内 多智弘
2017年4月
Nominee, The EASST Award for the Best ETAPS Paper Related to the Systematic and Rigorous Engineering of Software and Systems, Compositional Synthesis of Leakage Resilient Programs, European Association for Software Science and Technology
Arthur Blot, Masaki Yamamoto, Tachio Terauchi
2009年5月
第4回野口研究奨励賞, 情報処理学会 東北支部
寺内 多智弘
2008年3月
発表賞(一般), ソフトウェア科学会 第10回プログラミングおよびプログラミング言語ワークショップ (PPL 2008)
寺内 多智弘
メニュー
マイポータル
研究ブログ
資料公開
共著者の一覧
まだ共著者が1人も登録されていません。
{{coauthor.Related.name_str}}
{{coauthor.Related.last_modified}} 更新
もっとみる