Naoki Kobayashi

日本の大学への公開時点の所属を確認できた著者表記を掲載しています。大学IDと完全一致の著者名でまとめており、人物の名寄せはしていません。同名別人や表記違いの可能性があり、現在所属・全業績・研究者の総合順位を表すものではありません。

公開時所属: 東京大学 · Top conference papers: 6

分野別内訳

• Programming Languages & Formal Methods 4
• Machine Learning 1
• Robotics 1

分野別の本数はcross-listにより重なる場合があります。合計本数は同一論文を1本に数えます。

論文一覧

1. 2026 · PLDI

   Solvable Tuple Patterns and Their Applications to Program Verification

   Naoki Kobayashi, Ryosuke Sato, Ayumi Shinohara, Ryo Yoshinaka

   Programming Languages & Formal Methods

   日本大学: 東北大学 / 東京農工大学 / 東京大学

2. 2025 · NeurIPS

   Learning Simple Interpolants for Linear Integer Arithmetic

   Minchao Wu, Naoki Kobayashi

   Machine Learning

   日本大学: 東京大学

3. 2025 · POPL

   On Decidable and Undecidable Extensions of Simply Typed Lambda Calculus

   Naoki Kobayashi

   Programming Languages & Formal Methods

   日本大学: 東京大学

4. 2023 · ICFP

   Higher-Order Property-Directed Reachability

   Hiroyuki Katsura, Naoki Kobayashi, Ryosuke Sato

   Programming Languages & Formal Methods

   日本大学: 東京大学

5. 2023 · POPL

   HFL(Z) Validity Checking for Automated Program Verification

   Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato, Takeshi Tsukada

   Programming Languages & Formal Methods

   日本大学: 千葉大学 / 東京大学

6. 2022 · IROS

   Integration of Variable-height and Hopping Strategies for Humanoid Push Recovery

   Ko Yamamoto, Naoki Kobayashi, Taiki Ishigaki, Yuichi Sakemi

   Robotics

   日本大学: 東京大学