WEBリンク集
| メイン | 登録する | 人気サイト (top10) | 高評価サイト (top10) | おすすめサイト (0) | 相互リンクサイト (0) |
| カテゴリ一覧 | RSS/ATOM 対応サイト (6) | RSS/ATOM 記事 (72906) | ランダムジャンプ |
RSS/ATOM 記事 (72906)
ここに表示されている RSS/ATOM 記事を RSS と ATOM で配信しています。
| 細川大臣閣議後記者会見概要 from 厚生労働省新着情報 (2010-11-10 12:30) |
|
|
| 第４５回労働政策審議会勤労者生活分科会中小企業退職金共済部会資料 from 厚生労働省新着情報 (2010-11-10 12:00) |
|
|
| Provability Logic from Stanford Encyclopedia of Philosophy (2010-11-10 11:50) |
|
[Revised entry by Rineke (L.C.) Verbrugge on November 9, 2010.
Changes to: Main text, Bibliography]
Provability logic is a modal logic that is used to investigate what arithmetical theories can express in a restricted language about their provability predicates. The logic has been inspired by developments in meta-mathematics such as Godel's incompleteness theorems of 1931 and Lob's theorem of 1953. As a modal logic, provability logic has been studied since the early seventies, and has had important...
|
| 第3回「外ぼう障害に係る障害等級の見直しに関する専門検討会」開催について from 厚生労働省新着情報 (2010-11-10 11:00) |
|
|
| 第99回ILO総会の結果概要について from 厚生労働省新着情報 (2010-11-10 10:30) |
|
|
| 平成22年度第6回水質検査の信頼性確保に関する取組検討会配付資料及び議事録を掲載 from 厚生労働省新着情報 (2010-11-10 10:00) |
|
|
| 中央社会保険医療協議会 総会 （第１８２回） 議事次第 from 厚生労働省新着情報 (2010-11-10 9:10) |
|
|
| Peter Abelard from Stanford Encyclopedia of Philosophy (2010-11-10 6:32) |
|
[Revised entry by Peter King on November 9, 2010.
Changes to: Main text, Bibliography]
Peter Abelard (1079 - 21 April 1142) ['Abailard' or 'Abaelard' or 'Habalaarz' and so on] was the pre-eminent philosopher and theologian of the twelfth century. The teacher of his generation, he was also famous as a poet and a musician. Prior to the recovery of Aristotle, he brought the native Latin tradition in philosophy to its highest pitch. His genius was evident in...
|
| 平成22年度 自殺未遂者ケア研修について from 厚生労働省新着情報 (2010-11-9 10:00) |
|
|
| 第６３３回援護審査会の開催について from 厚生労働省新着情報 (2010-11-9 0:00) |
|
|
