ミカグラの投稿記録
2020年6月13日 (土)
- 14:292020年6月13日 (土) 14:29 差分 履歴 +3 IPPONグランプリ 本日の放送内容の反映。 タグ: ビジュアルエディター
- 14:182020年6月13日 (土) 14:18 差分 履歴 +25 IPPONグランプリ 本日分の放送内容について。 タグ: ビジュアルエディター
2019年5月3日 (金)
- 15:352019年5月3日 (金) 15:35 差分 履歴 +206 ノート:様相論理 →様相論理の意味論について 最新
- 15:342019年5月3日 (金) 15:34 差分 履歴 +24 m 様相論理 →様相論理の公理系: 必然化規則の文言修正 タグ: ビジュアルエディター
- 15:242019年5月3日 (金) 15:24 差分 履歴 +372 様相論理 →様相論理の意味論: ノートに従って、解釈関数の変更。 タグ: ビジュアルエディター
2019年5月2日 (木)
- 10:122019年5月2日 (木) 10:12 差分 履歴 +751 ノート:様相論理 →様相論理の意味論について: 新しい節
- 10:072019年5月2日 (木) 10:07 差分 履歴 +498 ノート:様相論理 →歴史の項について
2019年4月27日 (土)
- 16:442019年4月27日 (土) 16:44 差分 履歴 +3 m 様相論理 →様相論理の歴史 タグ: ビジュアルエディター
- 16:432019年4月27日 (土) 16:43 差分 履歴 +188 様相論理 →参考文献: 参考文献の追加。 タグ: ビジュアルエディター
- 16:392019年4月27日 (土) 16:39 差分 履歴 +716 様相論理 →様相論理の歴史: 様相論理に関するゲーデルの業績の加筆。クリプキによる意味論の考案の部分を、その様相論理の発展がわかりやすいよう修正。派生した時制論理、動的論理に関して加筆。参考文献の追加。 タグ: ビジュアルエディター
2019年3月29日 (金)
- 12:002019年3月29日 (金) 12:00 差分 履歴 +1 m 様相論理 意味論部分において、定義の明らかな誤りを修正しました。 タグ: ビジュアルエディター モバイル編集 モバイルウェブ編集