(To English version)

龍田 真

国立情報学研究所 教授

併任: 総合研究大学院大学 数物科学研究科 情報学専攻 教授
専門: 理論計算機科学 数理論理学
郵便宛先: 〒101-8430 千代田区一ツ橋 2-1-2 国立情報学研究所
電話: 03-4212-2552
FAX: 03-4212-2120 (事務室)
E-mail: tatsuta AT nii.ac.jp
居室: 13 階 1302 号室

• (更新予定) 入学志望の学生さんへ
• (更新予定) NII Logic Seminar
• 論文
• 紹介文(2008年)
• 私
• LaTeX 用証明図マクロ proof.sty
• (更新予定) 講義 / 大学院セミナー
• 九州大学大学院数理学府 数理科学特別講義II (2024)
• 教員リスト中のページ
• 国立情報学研究所