Others

記事

研究活動に関連する雑多な記事です。

• 数理論理学を初めて学ぶ人へのブックガイド
• 様相論理における非反射的フレームクラスの定義不可能性
• 様相論理のブックガイド
• 様相論理のラベル付きタブロー計算

リンク集

研究活動で主に使っているリンクを掲載しています。

• Google Scholar：論文検索用のブラウザ
• Cloud LaTeX：LaTeXが使えるクラウドサービス。
• Overleaf：LaTeXが使えるクラウドサービス。プロジェクトの共同編集が可能。
• 英字論文フォーマッタ：これをかませることでDeepLがより使いやすくなる。
• Grammarly：AIによる英文校正サイト

デスク道具

研究で用いている道具のうち、主要なものを掲載しています。

• PC: Lenovo IdeaPad Slim 5 Light Gen 8
  • CPU: AMD Ryzen 7 7730U
  • RAM: 16 GB
  • SSD: 512 GB
• モニター： BenQ GW2480
• キーボード： Nuphy Halo65
  あわせて、KEEBMAT (Premium Felt Edition) を使用しています。
• マウス： Pulsar Xlite V3 Size2
• マウスパッド： Fnatic Gear DASH M
• シャープペンシル： PILOT S20 ディープレッド
• ノート： コクヨ キャンパスノート 6号