• 小
  • 中
  • 大
ENGLISH 使い方
文献、特許、研究者などの科学技術情報サイト
詳細検索
すべて

同義語を見る(0)

専門用語を詳しく探す

シソーラスmap クリップ

ー



MyJ-GLOBALにログインしてご利用ください。
はじめての方はアカウント登録をお願いします。
MyJ-GLOBAL とは？
ログイン 新規登録
クリップ数の上限を超えました (最大クリップ数: 600)
閉じる
リセット
「検索方法」ページへ
詳細検索：
を探す
　詳細検索を行う基本情報を選んでください
フリーワード
～
構造検索
構造検索の利用方法
NEW R FG i
C N O S F Cl Br I P X
JSME Molecular Editor by Peter Ertl and Bruno Bienfait
drag out MOL or RXN file
構造ファイル取込

MOLfileがご利用頂けます。 (V3000形式はご利用頂けません）

              
詳細情報
関連リンク
探す

共著の研究者

共同発明の研究者

この研究者の研究内容に近い研究者

この研究者の研究内容に近い文献

この研究者の研究内容に近い特許

この研究者の研究内容に近い研究課題

この研究者が著者と推定される文献

この研究者が発明者と推定される特許

研究者
J-GLOBAL ID：202401017219633810   更新日: 2024年12月17日

高木 翼

タカギ ツバサ | Takagi Tsubasa
クリップ
所属機関・部署：
北陸先端科学技術大学院大学

北陸先端科学技術大学院大学 について


職名： 准教授
研究分野 (1件)： 情報学基礎論
競争的資金等の研究課題 (4件)：
  • 2024 - 2028 Logical foundation and formal verification of quantum-resistant security protocols
  • 2025 - 2026 形式検証による高信頼量子計算の実現
  • 2024 - 2026 並行量子計算の代数的仕様記述
  • 2022 - 2025 量子通信ネットワークを検証する数理論理体系の構築と量子計算的意味付け
論文 (10件)：
  • Yuki Nishimura, Tsubasa Takagi. Complete and Terminating Tableau Calculus for Undirected Graph. Proceedings of Asian Workshop on Philosophical Logic (AWPL 2024). 2025
  • Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. A Tableau-Based Approach to Model Checking Linear Temporal Properties. Proceedings of 25th International Conference on Formal Engineering Methods (ICFEM 2024), Lecture Notes in Computer Science (LNCS). 2024. 15394. 353-374
  • Canh Minh Do, Tsubasa Takagi, Kazuhiro Ogata. Automated Quantum Program Verification in Probabilistic Dynamic Quantum Logic. Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 24th International Conference on Formal Engineering Methods (ICFEM 2023)(FAVPQC@ICFEM). 2024. 36-51
  • Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata. Reachability Analysis of the Equivalence of Two Terms in Free Orthomodular Lattices. Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 24th International Conference on Formal Engineering Methods (ICFEM 2023)(FAVPQC@ICFEM). 2024. 67-82
  • Tsubasa Takagi, Canh Minh Do, Kazuhiro Ogata. Automated Quantum Program Verification in Dynamic Quantum Logic. Proceedings of DaLí: Dynamic Logic - New trends and applications (DaLí 2023), Lecture Notes in Computer Science (LNCS). 2024. 14401. 68-84
もっと見る
MISC (3件)：
  • 高木 翼. [書評] Robert Goldblatt, Logics of Time and Computation, 2nd Ed. Tokyo Academic Review of Books (TARB). 2024. 62
  • Tsubasa Takagi. Quantum Dynamic Algebra: From Orthomodular Lattice to Algebra of Quantum Programs. Doctoral Dissertation. 2023
  • 高木 翼. 動的量子論理による量子プログラム検証およびその実装. 一般社団法人 情報処理学会 研究報告 IPSJ SIG Technical Report. 2023. 2023-QS-9. 6. 1-6
学位 (2件)：
  • 博士(情報科学) (北陸先端科学技術大学院大学)
  • 修士(情報科学) (北陸先端科学技術大学院大学)
経歴 (3件)：
  • 2024/04 - 現在 北陸先端科学技術大学院大学 准教授
  • 2023/10 - 2024/03 東京工業大学 日本学術振興会特別研究員(PD)
  • 2022/04 - 2023/09 北陸先端科学技術大学院大学 日本学術振興会特別研究員(DC1)
※　J-GLOBALの研究者情報は、researchmapの登録情報に基づき表示しています。 登録・更新については、こちらをご覧ください。

前のページに戻る

TOP

BOTTOM