• 小
  • 中
  • 大
ENGLISH 使い方
JST運営の無料で使える情報検索サービス
詳細検索
すべて

同義語を見る(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
クリップ

論文 (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
  • Tsubasa Takagi. Semantic Analysis of a Linear Temporal Extension of Quantum Logic and Its Dynamic Aspect. ACM Transactions on Computational Logic. 2023. 24. 3. 1-21
  • Tsubasa Takagi. An Algebra of Quantum Programs with the Kleene Star Operator. Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods (ICFEM 2022)(FAVPQC@ICFEM), CEUR Workshop Proceedings. 2022. 3280. 2-15
  • 高木 翼. 量子論理のオブザーバブル依存Kripke意味論. 新進研究者 Research Notes. 2021. 4. 1-8
  • Tsubasa Takagi. Translation from Three-Valued Quantum Logic to Modal Logic. International Journal of Theoretical Physics. 2021. 60. 1. 366-377
  • 高木 翼. K4タブローによる妥当性判定と濾過法. Journal of Science and Philosophy. 2019. 2. 1. 4-23

1〜10 件目 / 全 10 件
  • « 最初
  • ‹ 前へ
  • 1
  • 次へ ›
  • 最後 »
前のページに戻る

TOP

BOTTOM