2012年02月20日

ちょっと余裕が出て来たので

少しメモ書き程度に。

  1. 研究の展望があるのに、それを実装するコストがとんでもないことに気付いた。
  2. 並列計算について少し調べたいな。並行もだけど、並列はどうなんだろう?
  3. そういえばC言語超入門とかいうよくわからないものもあったっけ。
  4. Coqのテキスト作ろうとしてたんだけど、全然進んでないな。いい加減口先ばっかりなのもどうかと思うなあ。
  5. 人力tacticの名に恥じないようにしないと。
  6. てか妙な呼び名っていつもせんs・・・あれ?誰か来た・・・?
posted by chiguri at 17:53| Comment(2) | TrackBack(0) | 雑多

2011年11月20日

アドベントカレンダー

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

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

できれば参加者求む。

posted by chiguri at 22:57| Comment(0) | TrackBack(0) | 雑多

2011年10月17日

SlideShareなるサービス

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

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

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

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

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

posted by chiguri at 18:08| Comment(0) | TrackBack(0) | 雑多

2011年08月14日

F-12Cのテザリング(おまけ)

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

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

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

posted by chiguri at 13:35| Comment(0) | TrackBack(0) | 雑多

2011年08月13日

F-12Cのテザリング

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

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

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

posted by chiguri at 18:25| Comment(0) | TrackBack(0) | 雑多