資料公開
| タイトル | researchmapシンポジウム発表資料 |
|---|---|
| カテゴリ | 講演資料 |
| 概要 | 各大学が独自の研究業績システムを廃し、researchmapに移行することで年間100億程度の費用圧縮が期待でき、研究者は手入力に比べ入力コストを8割程度圧縮できる。 |
| 登録日時 | 2015-09-03 11:00:53 |
| タイトル | 数理論理学I期末対策試験解答 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 期末対策試験の解答です。校正前なので誤りがある可能性があります。今週中に最終バージョンをアップします。 |
| 登録日時 | 2014-07-14 16:13:52 |
| タイトル | 数理論理学I期末試験対策問題 |
|---|---|
| カテゴリ | 研究論文 |
| 概要 | 遅くなってすみません。期末対策問題を作成しました。 |
| 登録日時 | 2014-07-12 15:09:31 |
| タイトル | 数理論理学宿題１解答 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 宿題１の解答です（授業中から訂正があるので注意。） |
| 登録日時 | 2014-05-22 16:24:51 |
| タイトル | 数理論理学I中間試験対策問題 |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 数理論理学Iの中間試験対策用問題です。 |
| 登録日時 | 2014-05-22 16:24:43 |
| タイトル | 数理論理学Ｉ 宿題１ |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 数理論理学Ｉの宿題です。締め切りは5月19日。東校舎の数学統計学教材準備室に提出してください。 |
| 登録日時 | 2014-04-29 11:40:00 |
| タイトル | 数理論理学Ｉ確認テスト１ |
|---|---|
| カテゴリ | 講義資料 |
| 概要 | 一橋大学数理論理学Ｉ確認テスト１の解答です。 |
| 登録日時 | 2011-05-10 13:14:21 |
| タイトル | 言語としての数学 |
|---|---|
| カテゴリ | 研究論文 |
| 概要 |
一橋大学数理論理学Ｉの講義資料として配布。 「数理科学」575号、特集「初学者を悩ます数理の概念」に寄稿。 |
| 登録日時 | 2011-04-25 12:23:55 |
| タイトル | 安心安全な学校を実現するための情報化に関する提案 |
|---|---|
| カテゴリ | その他 |
| 概要 | 2011年4月15日に文部科学省で開催された「学校教育の情報化に関する懇談会」第12回（最終回）で提出した資料。 |
| 登録日時 | 2011-04-16 15:36:02 |
| タイトル | NetCommonsパンフレット |
|---|---|
| カテゴリ | その他 |
| 概要 | NetCommonsのパンフレットです。「学校教育の情報化に関する懇談会」第一回目資料 |
| 登録日時 | 2010-04-23 08:54:59 |