物理のかぎプロジェクト

メニュー

• トップ
• 物理のかぎプロジェクトについて
• メンバー情報
• 雑談用掲示板

• 査読
• rst2hooktail
• 執筆中
• かぎマニュアルズ
• メンバー専用
• 記事管理

• 間違い報告

• 物理のかぎしっぽ
• 掲示板

現在 3 名がオンラインです。

最新の25件

K.I. †

• メール: thisismymailaddress "at" gmail.com
• 専門 (研究) 分野: 海洋微生物生態学 (実測も理論 [モデル計算] も両方とも興味が有りますが，近頃はモデル計算がを中心なりつつあります) → リサーチアドミニストレーター (URA) として勤務，研究はしておりません。 → IR（Institutional Research）担当になりました。やはり研究はできず……そろそろ任期満了の心配をせねば……
• 担当分野: 数学基礎

製作中 (製作中のリストも製作中です) †

数学基礎論 (数学のレシピ) †

第一部: 命題論理 †

   1. 命題論理の記号と文法
   http://hooktail.maxwell.jp/kagi/47ee7b9262946aa1fc99bb3aa335186f.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/5444898380762b84aed075b58238aa01.html (ver. 02)

   2. 命題論理の公理系と推論規則
   http://hooktail.maxwell.jp/kagi/9fbebf399289d94765de4bf327caee29.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/572384d1e954cbad1ac9081e87294fa8.html (ver. 02)
   http://hooktail.maxwell.jp/kagi/8babc8e15c36f39d4132416d07c3d4ad.html (ver. 03)

   3. 命題論理の形式的証明論 (1)
   http://hooktail.maxwell.jp/kagi/393f05303750181415c46d0a34125c07.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/167e6f2deabdd9eba0a5b1d1e8be3889.html (ver. 02)

   4. 命題論理の形式的証明論 (2)
   http://hooktail.maxwell.jp/kagi/1bf8ad23c4ec3c834417794e7f99fc61.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/6850c67667435e9af6a68cbddc72abf9.html (ver. 02)

   5. 命題論理の形式的証明論 (3)
   http://hooktail.maxwell.jp/kagi/9342e1a020ab4152791c923ccc32201e.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/de98d15fdf9a3ba30b5c6025119db980.html (ver. 02)

   6. 命題論理の意味論
   http://hooktail.maxwell.jp/kagi/8d5815bd43a6003c6908fc7bfb46292b.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/1d8d34b88a03eba5c80947ae769837f9.html (ver. 02)

   7. 命題論理の健全性
   http://hooktail.maxwell.jp/kagi/0b4ebd9fbdefec571f692a133eabeb34.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/7f87e692318c8dfd9e2a88e38cda60c6.html (ver. 02)

   8. 命題論理の内容的完全性
   http://hooktail.maxwell.jp/kagi/e41ed37ada229c6d6e5c87745b7ce8e1.html (ver. 01)
   http://hooktail.maxwell.jp/kagi/9119eb445872c06c0d2439df79e04e90.html (ver. 02)

第二部: 一階の述語論理 †

   9. 述語論理の記号と文法 (1)
   http://hooktail.maxwell.jp/kagi/6a19a9a0912e48e99098c9a4c22a4bd1.html

   10. 述語論理の記号と文法 (2)
   http://hooktail.maxwell.jp/kagi/321b1a2c4615ee94a3694fe6a29848f8.html

   11. 述語論理の公理系と推論規則
   http://hooktail.maxwell.jp/kagi/1bdf6a9698c10aaf03cc582b0fc54985.html

   12. 述語論理の形式的証明論 (1)
   http://hooktail.maxwell.jp/kagi/2f531d123ea05782db843b41cd588ae6.html

   13. 述語論理の形式的証明論 (2)
   未執筆 (形式的な証明って眠たいんですよね……ふぁぁ。後日執筆します。)

   14. 述語論理の意味論 (1)
   http://hooktail.maxwell.jp/kagi/82a06e28f69ed4b06de4bcb6d0ccea3f.html

   15. 述語論理の意味論 (2)
   http://hooktail.maxwell.jp/kagi/0f520ebcbc160639275c6649dada1f80.html

単位のお話 †

   1. 物理量と単位，次元
   http://hooktail.maxwell.jp/kagi/337a08afec86aed61d73fdd71d5499f0.html

   2. 国際単位系 (SI)
   http://hooktail.maxwell.jp/kagi/9ac1c57b3a1c30ea50ad49ef19ecb67c.html

   3. 国際単位系に於ける組立単位
   http://hooktail.maxwell.jp/kagi/3b25eacc59745dd62db02f4fd39592b8.html

   4. 国際単位系以外の単位
   http://hooktail.maxwell.jp/kagi/e94240bad52f0b625569f3a58535d9a4.html

   5. 単位の記法 (1)
   http://hooktail.maxwell.jp/kagi/6696bc88af5ed6e8e10a97945d8152b3.html

   6. 単位の記法 (2)
   http://hooktail.maxwell.jp/kagi/eeb67f99055fb3f81b4b1fc91487afd7.html

   7. 有効数字
   http://hooktail.maxwell.jp/kagi/d44aa4098bf4469c1869d773647dae88.html

   8. 単位から見た運動方程式
   http://hooktail.maxwell.jp/kagi/d36b216ad0eb923129ccd7cd2e46722e.html

   9. 物質量とは
   http://hooktail.maxwell.jp/kagi/2d88902c6701f3e6a7e35f880f66396a.html

   9001. 番外，演算子 (1)
   http://hooktail.maxwell.jp/kagi/837d0636c6369e14d985d2445fc99f5f.html

   9051. 番外，累乗平均
   執筆中です。期待せずにお待ち下さい