栗坂こなべ
- いいね数 89,792/94,462
- フォロー 1,775 フォロワー 3,522 ツイート 77,777
- 現在地 大阪
- Web https://unityroom.com/users/82igfc0yw7dv13sjhxma
- 自己紹介 デジタルゲーム制作,Live2D,ボードゲーム研究,目指せセンター！アイドルピラミッド,ジューシィフルーツ,くだものあつめ,クニツィアのキングダム,レーベンヘルツ,レイズ,タイニータウン,ノヴァルナ,Live2D SDK ,Queen Of Unity-chan,JUKUメン,講師,Unity5 Live2D本執筆
2011年12月12日(月)
RT @coodoo: 【無料】複数の写真をクラウドにアップするだけで3Dモデルに変換「Autodesk 123D Catch」 | DDN JAPAN / (DIGITAL DJ Network) t.co/YbKJmwNA なんじゃこりゃ！！
タグ：
posted at 09:08:30
赤松 健 ⋈（参議院議員・全国比例） @KenAkamatsu
【やじうまWatch】 iPhone/iPadで無料漫画が読める！Jコミがアプリを公開 他 -INTERNET Watch t.co/4oFon6eV ★アップル検閲無しで、合法的にどの漫画でも読めて、しかも作者に利益が行くアプリは、世界でもこれだけだと思いますよ。
タグ：
posted at 09:11:00
勉強したい人は勉強しない人の何十倍も勉強する時代 RT @elm200: うわーこいつは本当にすごい。21世紀は「教育のコモディティ化」が進むんだろうなあ。RT 小学校から大学教育まで英語で学習できる授業動画サイト t.co/tSdCfrpP
タグ：
posted at 09:22:18
プログラミング言語の将来は、特定の形を取らなくなっているのだと思う。重要なのはパラダイムであり、シンタクスではないと思うし、パラダイムでさえ固定のものではなくて、単なるプログラミング上のパターンになるはずだ。そして人はオンデマンドで言語を構築しはじめ、再利用という意味が変わるはず
タグ：
posted at 09:32:25
多くの人の夢って組織に入ること組織で認めらること組織を率いることなんだよね。それが物語として受け入れられる。だからAKBは組織内での競争をコンテンツ化した。劇場だとか会いに行けるアイドルだとか消費者参加型だとかあまり関係ない。秋元康さんが日本人の大好きな物語構造を知っていた。
タグ：
posted at 09:42:59
値に関するエラーに型が無力だというなら、型は値に関する制約なのだ。制約は、高階型を許せば驚くほどの表現力を得ることになる。非負整数型とか、既約分数型とかそんなチンケなものじゃない。「並列に実行してもRaceが起きないアクション」型とか「絶対にランタイムエラーが起きない」型とか。
タグ：
posted at 09:58:05
実際のところ、プログラムにおいて型は命題だし、コードは証明なんだから、望みの命題を記述出来るだけの表現力を型に与えれば良いだけだ。あとは何とかしてタイプチェッカを書くだけ。タイプチェッカを書くだけ。
タグ：
posted at 10:01:07
「GitHub使ってない奴はプログラマじゃない」とか、「EmacsかVi(m)使ってなきゃプログラマじゃない」とか、「Windowsなんて使ってるのはプログラマじゃない」とか、いい加減押し付けるのは辞めて欲しいなぁ。ソース公開したくないし、VS使いだし、Windows大好きだよ！
タグ：
posted at 17:13:53
