アドベントカレンダー

Theorem Provingのアドベントカレンダーに参加しようと思ったのだが、現時点で参加者5人。

このままだとどうなるのだろうか・・・？

できれば参加者求む。

SlideShareなるサービス

パワポを共有・・・というよりアップロードするサービスがあったので、アップロードしてみた。

内容は去年の夏ゼミで話したCartesian Closed Categoryの話。

もちろん（と言っていいか疑問だが）日本語。

Cartesian Closed Category

View more presentations from chiguri

なるほど、これでいいらしい。

載せられそうな発表資料ができたらこれからもアップロードしてみよう。

F-12Cのテザリング（おまけ）

なんか今朝アクセスポイントの設定がおかしくなっていた。

テザリングをした影響か？

ちなみに普通にアクセスポイントの設定を直したら直った。

F-12Cのテザリング

b-mobileでのテザリングができないという話を聞いたのだが、今日試したところできた。

ちなみにSIMロック解除済み。それが影響しているかは不明。

今これを書くために使っている回線がテザリング。

一応

終わった。

まだいろいろ続くが、とりあえず一段落。

・・・でも、昨日まで書いてたやつはまだ修正しないとな。