Profile_bird

Hey there! yamakiyo is using Twitter.

Twitter is a free service that lets you keep in touch with people through the exchange of quick, frequent answers to one simple question: What's happening? Join today to start receiving yamakiyo's tweets.

Already using Twitter
from your phone? Click here.

yamakiyo

  1. カレーウメ〜ェ．お代わりを試みたが炊飯器が空だった．慌てて炊飯開始． about 11 hours ago from web
  2. @1SSH1N 体調悪いのかな？大丈夫？お大事にね！ about 11 hours ago from web in reply to 1SSH1N
  3. 帰宅．今日は寒い一日だったので，カレーを煮てみた．体が暖まる． about 12 hours ago from web
  4. 更新したクレジットカードに署名した．カード番号は変化していないが，セキュリティコードが変更されている． about 21 hours ago from web
  5. 起床．寒い． 1:10 PM Dec 15th from web
  6. @chiguri 実際に使ってみるのが理解の近道．証明をコンパクトに記述できて便利です．一度使うとpureなCoqには戻れません． #Coq #SSReflect 8:31 AM Dec 15th from web in reply to chiguri
  7. iTSから今週のシングルに加えてX'mas ソングス6曲をゲット． 8:16 AM Dec 15th from web
  8. 今夜はものすごく寒い．寝ている間に喉の調子が悪くなりそうな気がする． 7:34 AM Dec 15th from web
  9. @wtakuo @chiguri はいはい，ssreflectについての問題ですか？ 6:43 AM Dec 15th from web in reply to wtakuo
  10. 帰宅．菊名駅で下車して港北郵便局を経由して徒歩で帰宅．菊名駅周辺は道が細いが交通量が多く，あまり歩き回りたくないなあ． 6:36 AM Dec 15th from web
  11. 港北郵便局で郵便物受け取り．クレジットカード更新． 6:01 AM Dec 15th from Tweetie
  12. @1SSH1N バリカンの刃を5mmに設定してバッサリ行きました．ちょっと寒い． 7:03 AM Dec 12th from web in reply to 1SSH1N
  13. 久しぶりに散髪 by myself．さっぱりした． 10:51 PM Dec 11th from web
  14. CoqのReference ManualにはSigma型の説明が見当たらないので，コレを参考にした: http://wiki.di.uminho.pt/twiki/pub/Education/MapiFc/0809/psvcLec7a.pdf #Coq 8:27 AM Dec 11th from web
  15. さて，Coq遊びの続きに取り掛かるとするか． 5:46 AM Dec 11th from web
  16. 帰宅．オフィスを出た時は大降りだったが，自宅最寄り駅で下車した時は止んでいた．あまり濡れずラッキィ． 5:44 AM Dec 11th from web
  17. Module M<:S. Definition T:Type:={m:nat&{n|(n<=m)%nat}}. End M. と定義することでイケそうな気がしてきた． #Coq 3:08 AM Dec 11th from web
  18. @cogychan ホリデーシーズンのお祭り騒ぎの影響では？笑 1:23 AM Dec 11th from web in reply to cogychan
  19. Module Type S. Parameter T:Type. End S.というシグニチャに対し，Module M<:S. Definition T(m:nat):Type:={n|(n<=m)%nat}. End M.といったモジュールを定義したい(ができない) #Coq 1:02 AM Dec 11th from web
  20. またもやBTMMで自宅MacBookに接続できない．ADSLから光接続に切り替えるべきなのか？ 10:25 PM Dec 10th from web