2011/自主ゼミ/計算機科学ゼミ
をテンプレートにして作成
[
トップ
] [
新規
|
一覧
|
検索
|
最終更新
|
ヘルプ
|
ログイン
]
開始行:
[[2011/自主ゼミ]]
#contents
* 概要 [#o394e7ee]
:代表者 | [[t_uda]]
:分類 | 数学
:形式 | 輪講
:内容 | 型理論 (System T, System F, ...etc)
:日程 | 火6
:教室 | 理6-207
:参加人数 | (3+α)人
* 報告 [#t1954591]
**第 1+i 回 2011/05/10 (火) [#j3c6d237]
>[[t_uda]] (2011-05-12 (木) 13:24:31)~
~
第 6 章「強正規化定理」を一応終えた。次回は第 7 章から。~
//
**第 1+2i 回 2011/05/17 (火) [#h0d5fd78]
>[[t_uda]] (2011-05-17 (火) 20:44:04)~
~
第 7 章「Goedel's System T」を半分までやった。証明の場合...
~
課題. 自然数上の加法 x+y に相当するλ項 t[x,y] について、...
//
**第 1+3i 回 2011/05/24 (火) [#z1fa1a09]
>[[t_uda]] (2011-05-25 (水) 23:19:03)~
~
第 7 章の残りを終わらせた。足し算・掛け算・べき乗・前者関...
//
**第 1+4i 回 2011/06/03 (金) [#m2ff6609]
>[[t_uda]] (2011-05-30 (月) 14:58:10)~
~
※今週の 5/31(火) は休み。代わりに 6/03(金) にやります。~
8.4 の、 direct product of 2 coherence spaces までやった...
//
**第 1+5i 回 2011/06/07 (火) [#t67e80a1]
>[[t_uda]] (2011-06-07 (火) 18:00:52)~
~
8.5.1 をやった。F と Tr(F) の対応について詳しく検証した。~
//
* 文献 / 関連項目 [#jfe30e1a]
- [[2010/自主ゼミ/計算機科学ゼミ]]
- "[[Proofs and Types>http://www.paultaylor.eu/stable/Pro...
//#comment
終了行:
[[2011/自主ゼミ]]
#contents
* 概要 [#o394e7ee]
:代表者 | [[t_uda]]
:分類 | 数学
:形式 | 輪講
:内容 | 型理論 (System T, System F, ...etc)
:日程 | 火6
:教室 | 理6-207
:参加人数 | (3+α)人
* 報告 [#t1954591]
**第 1+i 回 2011/05/10 (火) [#j3c6d237]
>[[t_uda]] (2011-05-12 (木) 13:24:31)~
~
第 6 章「強正規化定理」を一応終えた。次回は第 7 章から。~
//
**第 1+2i 回 2011/05/17 (火) [#h0d5fd78]
>[[t_uda]] (2011-05-17 (火) 20:44:04)~
~
第 7 章「Goedel's System T」を半分までやった。証明の場合...
~
課題. 自然数上の加法 x+y に相当するλ項 t[x,y] について、...
//
**第 1+3i 回 2011/05/24 (火) [#z1fa1a09]
>[[t_uda]] (2011-05-25 (水) 23:19:03)~
~
第 7 章の残りを終わらせた。足し算・掛け算・べき乗・前者関...
//
**第 1+4i 回 2011/06/03 (金) [#m2ff6609]
>[[t_uda]] (2011-05-30 (月) 14:58:10)~
~
※今週の 5/31(火) は休み。代わりに 6/03(金) にやります。~
8.4 の、 direct product of 2 coherence spaces までやった...
//
**第 1+5i 回 2011/06/07 (火) [#t67e80a1]
>[[t_uda]] (2011-06-07 (火) 18:00:52)~
~
8.5.1 をやった。F と Tr(F) の対応について詳しく検証した。~
//
* 文献 / 関連項目 [#jfe30e1a]
- [[2010/自主ゼミ/計算機科学ゼミ]]
- "[[Proofs and Types>http://www.paultaylor.eu/stable/Pro...
//#comment
ページ名:
![[PukiWiki]](image/pukiwiki.png "[PukiWiki]")
