蓮尾 一郎

• 国立情報学研究所

• English
• Japanese
• Dutch
• Chinese

• HOME
• 連絡先
• 研究について
• 履歴
• 論文
• 口頭発表
• 教育
• 研究室

研究室配属に興味のある方は(ありがとう！)，このページも見てみてください．

2024

• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2022

• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2020

• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2019

• Formal Methods for Cyber-Physical Systems (SOKENDAI/NII, Graduate, in English)

2018

• 形式言語理論 (東京大学理学部情報科学科，2年Aセメスター)
• Mathematical Structures in Formal Methods (SOKENDAI/NII, Graduate, in English)

2017

• 形式言語理論 (東京大学理学部情報科学科，2年Aセメスター)

2016

• 情報論理 (理学部情報科学科，3年Sセメスター)
• 応用論理 (理学部情報科学科，4年Sセメスター)
• 形式言語理論 (理学部情報科学科，2年Aセメスター)
• Mathematical Semantics of Computer Systems
  (For graduate students, autumn semester)

昨年度まで

こちら