古典命題論理の形式体系LKの証明図
はい。
これだけ見ても何やってるかさっぱりですね。
ゼミの宿題どす。証明しとるんですわ。（名古屋弁？）
しかもこれを文章で書くのがまた難しい。
ちなみに、合ってるかどうかも明日にならないと分かりません。
学校の部室（新しい方）で更新してますが、
がーん（. w .）もうこんな時間。
18時からバイトです。寒いだろうなぁ・・・
（自分のためだ、仕方ない、えいえいおー）
posted by kimi-tea | 4:22 PM
きみてぃの過去Blog No.1
♪もう更新はしませんが、過去Blogってことで残してあります☆
2006.09.02更新
About Me
- Name: kimi-tea
- Location: Nagoya, Japan
♯ Profile ♯
Name :kimi-tea
Birth:1984/10/16 Tue.
レコーディングエンジニアを目指す大学4年生。みんなと違って進路決まるのが12月以降。大学卒業のための卒論も難しくて苦戦中（＞＜）それでも夢に向かって邁進中☆
Tuesday, January 10, 2006
はい。
これだけ見ても何やってるかさっぱりですね。
ゼミの宿題どす。証明しとるんですわ。（名古屋弁？）
しかもこれを文章で書くのがまた難しい。
ちなみに、合ってるかどうかも明日にならないと分かりません。
学校の部室（新しい方）で更新してますが、
がーん（. w .）もうこんな時間。
18時からバイトです。寒いだろうなぁ・・・
（自分のためだ、仕方ない、えいえいおー）
4 Comments:
きたよ。ブログへね～。
初カキコ。
最後質問。
この暗号、なんて読むんや？
現実逃避って読むんですよね☆
どうもありがとぅー
暗号ってこの画像のこと??
そうやよ～。
あの画像にある暗号は
現実逃避
ですよね？？？
いやいや、ちゃんとした”ゼミ”の内容ですよ。しかし分野自体は俗世からちょっと離れたものに思われるかもしれませぬね。
Post a Comment
<< Home