トップページ  >  教員個別情報
髙木　翼 （TAKAGI, Tsubasa）准教授
情報科学, コンピューティング科学研究領域, 超越量子未来アリーナ
◆学位
博士（情報科学） 北陸先端科学技術大学院大学
修士（情報科学） 北陸先端科学技術大学院大学
◆職歴
2024 - : 北陸先端科学技術大学院大学 , 准教授
2023 - 2024 : 東京工業大学 , 日本学術振興会特別研究員（PD）
2022 - 2023 : 北陸先端科学技術大学院大学 , 日本学術振興会特別研究員（DC1）
◆専門分野
情報学基礎論

■研究業績

◆発表論文
Reachable Completeness Theorem of Order Sorted Equational Logic with Infinite Proofs
Taeseung Sohn, Tsubasa Takagi
Proceedings of International Symposium on Theoretical Aspects of Software Engineering (TASE 2026), Lecture Notes in Computer Science (LNCS), 16697, 269-285, 2026
A Stone-type Representation Theorem for Star-free Dynamic Orthomodular Lattice
Tsubasa Takagi
Proceedings of IEEE International Symposium on Multiple-Valued Logic (ISMVL 2026), 129-134, 2026
Completeness Theorem for Many-valued Logic with Internalized Meta-judgment
Yang Song, Tsubasa Takagi
Proceedings of IEEE International Symposium on Multiple-Valued Logic (ISMVL 2026), 81-86, 2026
Complete and Terminating Tableau Calculus for Undirected Graph
Yuki Nishimura, Tsubasa Takagi
Exploring Negation, Modality and Proof, 173-191, 2026
Formal Verification of Measurement-Based Quantum Computation in Maude
Ryuichi Nagoshi, Tsubasa Takagi
Proceedings of International Symposium on Software Fault Prevention, Verification, and Validation (SFPVV 2025), Lecture Notes in Computer Science (LNCS), 16356, 160-178, 2026
◆Misc
[書評] Robert Goldblatt, Logics of Time and Computation, 2nd Ed.
高木 翼
Tokyo Academic Review of Books (TARB), 62, -, 2024
動的量子論理による量子プログラム検証およびその実装
高木 翼
一般社団法人 情報処理学会 研究報告 IPSJ SIG Technical Report, 2023-QS-9, 6, 1-6, 2023
Quantum Dynamic Algebra: From Orthomodular Lattice to Algebra of Quantum Programs
Tsubasa Takagi
Doctoral Dissertation, -, 2023

■担当講義

形式言語とオートマトン, 数理論理学

■学外活動

◆学術貢献活動
第2回若手による数理論理学研究集会 共同主催 , 2024 - 2024
第1回若手による数理論理学研究集会 共同主催 , 2023 - 2023
◆社会貢献活動
・ 量子コンピューティングの現状と高信頼量子プログラムの実現に向けて , 一般社団法人 JAIST支援機構 , JAIST産学官共創フォーラム 定期講演会 2024 - 2024