プロフィール

最終更新:2020/1/13
所属 法政大学文学部哲学科B3
専門分野 数理論理学
連絡先

研究内容

準備中……

学習と研究の歩み

研究論文

  1. 高木翼、「K4タブローによる妥当性判定と濾過法」(Journal of Science and Philosophy 2(1): 4-23, 2019)

解説書

  1. 高木翼、『形式論理探求 第1巻 古典論理のタブロー』(やまなみ書房、2019年)

研究発表

  1. 保科宏樹、飯澤正登実、齋藤曉、高木翼、「生成消滅演算子にもとづく量子論理」(日本物理学会 第75回年次大会、2020年)
  2. 高木翼、「近傍意味論の線形代数的再定式化」(第54回 MLG数理論理学研究集会、2019年)
  3. 高木翼、「様相述語論理の哲学」(第2回 日本アリストテレス協会主催研究発表会、2018年)
  4. 高木翼、招待講演「高階確率論における嘘つきのパラドックス」(四葉研究交流会2018
  5. 高木翼、審査員特別賞受賞「超準解析によるcontextualな隠れた変数理論の否定」(日本物理学会 第11回 Jr.セッション、2015年)

その他

inserted by FC2 system