2013年10月04日のツイート

[Twitter][まとめ]2013年10月03日のツイート d.hatena.ne.jp/kamimura7/2013…
posted at 00:14:09

愛用中の1Password click.linksynergy.com/fs-bin/click?i… の最新バージョンが4出たけど、MavericksはiCloudでKeychainが同期できるようになるし入手するか迷う。iCloudで同期できないWindowsでも使ってるし入手しようかなぁ〜
posted at 10:43:02

Dartは変数の型をいい加減に書いてもproduct modeだと実行可能。それでも実行できない演算を探す楽しみ！ @shinji_kono Agda は型を書く時点で型を整合させる必要があり、その後、その値を書いていく時に、また、型整合させる。普通のプログラミングの倍楽しめる。
posted at 10:57:18

“2013年10月03日のツイート | Kamimura's blog” htn.to/ky3k2X #twilog #Twitter
posted at 12:44:09

ブログ sitekamimura.blogspot.com の個別記事で #zenback が読み込まれないことに気づく>< 他のサイトは読み込まれるの確認出来たし、Bloggerだからか、個別のブログの問題か、ブラウザ(キャッシュとか) + ブログの問題か、 どれかなぁ〜
posted at 12:48:24

@zenback 昨夜に読み込まれないことがあって(この時点では閲覧時間も短く、リロードもしなかった)、さっきのツイートの時点で閲覧時間を十分に取って、かつ複数回リロードしても読み込まれませんでした。
posted at 13:25:48

paper.li is out! paper.li/mkamimura/1353…
posted at 13:26:40

DartiumだけじゃなくDartにもeval関数できるといいなぁ〜 Dart News & Updates: Faster dart2js and new HTML editor in latest Dart ... news.dartlang.org/2013/10/faster…
posted at 14:32:10

“iPhone Quick Tips - Convert Units ( Convertbot ) 英語は絶対、勉強するな! | Kamimura's blog” htn.to/hRHMG6 #英語
posted at 14:50:45

“Ruby - フロー制御(while loop, 条件分岐(if/elif/else), 乱数(randメソッド)) | Kamimura's blog” htn.to/iBxBvU #プログラミング #Ruby
posted at 15:50:34

“C - 条件式と制御文(if/else if/else) | Kamimura's blog” htn.to/tzoMTV #プログラミング #C
posted at 16:43:57

“Scheme - 非決定性プログラムの例(論理パズル(Phillips 1934 「嘘つき」パズル)) | Kamimura's blog” htn.to/RJmzFx #プログラミング #Scheme
posted at 18:44:36

“Dart - フロー制御(while loop, 条件分岐(if/else if/else), 乱数(dart:mathライブラリのRandomクラス、nextIntメソッド)) | Kamimur…” htn.to/hTjSaG #プログラミング #Dart
posted at 18:44:58

amb評価器を実装できたし、やっといろいろ入力して試しながら、確認できるようになった！ twitter.com/mkamimura/stat…
posted at 18:47:35

←""==="で比較する" というか"==="でしか比較しない派！ sitekamimura.blogspot.com/2012/08/javasc… @esehara @n_yamairi JavaScriptの…NaNは*NaNを含めた*全ての値いと"==="で比較するとfalseを返すし、という意味で哲学的…
posted at 19:48:42