-
masterq_teokure
- 1456
- 0
- 1
- 0
-
- いいね！0
Go! Go! jhc-tan!
@masterq_teokure
うーん、こんなに入れるのか。。。 #Coq / [2013/08/17に日程変更] Coq'Art読書会 #0 #readcoqart (ソフトウェアの基礎を読む会になるかも) - PARTAKE http://t.co/bcE0OPUDdw
2013-08-11 16:04:43
Takashi Miyamoto
@tmiya_
Coq'Art読書会 #0 #readcoqart のチュートリアル資料を公開しました。partakeから辿ってください。http://t.co/awQAJa1fN9
2013-08-15 10:26:42
Takashi Miyamoto
@tmiya_
Coq'Art読書会 #0 #readcoqart のチュートリアル資料を公開しました。場所は https://t.co/nzMz4daa3f です。どこが取得先か判りにくくて申し訳有りませんでした。
2013-08-15 16:47:33
Go! Go! jhc-tan!
@masterq_teokure
@mzp とりあえず形から入ることにしました。ありがとうございます！ #Coq https://t.co/m3azzZmFdb
2013-08-15 19:07:00
Takashi Miyamoto
@tmiya_
Coq'Art読書会 #0 #readcoqart ですが、参加人数が多くコンセント不足が予想されるので、持って来れる人は電源タップの持参を推奨です。まぁ大抵の勉強会に成り立つ話ですが。
2013-08-16 11:12:37
Go! Go! jhc-tan!
@masterq_teokure
本の値段が高いことは良いことな気がしています。読む覚悟ができるといいますか。。。 #readcoqart #Coq
2013-08-16 11:15:36
Go! Go! jhc-tan!
@masterq_teokure
@dekosuke こんな勉強会があるのですが参加なさいませんか？！ https://t.co/rTYVzfipT7
2013-08-16 21:47:21
Go! Go! jhc-tan!
@masterq_teokure
うーん。ぜんぜん進んでない #Coq #readcoqart / Jargondictionary · readcoqart/wiki Wiki https://t.co/0VFyMsyt7t
2013-08-16 23:08:02
闇ぶいれこ
@yami_vreco
@masterq_teokure readcoqart 参加予定者の @yami_vreco です。本日体調がすぐれないため、誠に不本意ながら第0回readcoqart を欠席させていただきます。申し訳ありません。次回以降は是非参加させていただきますので、よろしくおねがいします。
2013-08-17 11:46:41
(* sakamoto *)
@sakamoto_desu
coq art 読書会。 #readcoqart (@ ミラクル・リナックス株式会社(MIRACLE LINUX CORP.)) http://t.co/MJyICNRw0d
2013-08-17 14:11:39
Go! Go! jhc-tan!
@masterq_teokure
Isabelle http://t.co/E77yKA7gVx はどーなんでしょう？ #readcoqart
2013-08-17 14:31:20
ざぎん 𒎎𒍝𒆳@C102 2日目東ペ-22a
@na4zagin3
GCとかlambda式の無い言語に変換するのは辛い 型が強い言語も大変 #readcoqart
2013-08-17 14:35:20