栗坂こなべ
- いいね数 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本執筆
2013年08月15日(木)
ファットキャット40匹と暮らしたいひるだ @hinako1or8
目を引いたら勝ちなんすよ。いちいちシステム説明と遊び方説明してたら文章だけで1ページ超えちまう。
タグ:
posted at 00:44:36
「関数プログラミングとは、言語のカテゴリじゃなくて、開発手法である。」まあせやろな。
「関数型ソフトウェア開発のキモは、一貫したコードの性質への注視である」まあせやろな。
「純粋関数は、入出力の対応がその仕様のすべて」まあ、せやろ。
タグ:
posted at 11:45:34
pureなHaskellでI/Oどうやるのさ?
・オプション1、純粋性を捨てる
「コード変換やりにくくなるやろ!」
「local reasoningが要るやろ」
「並行のこと考えろよ」
「純粋性捨てるとか、いい加減にしろ!」
これはボツに。
タグ:
posted at 11:52:32
・オプション2、継続ベース、ストリームベースI/O
「I/Oを行う関数のプロパティー(型)はどうなるねん?」
「世界を入出力の状態として渡せばいいんや!」
「ん、この形、どこかで見たような…?モナドでやったところだ!」
ワドラー氏「そうだ、IOをモナドにしよう」
タグ:
posted at 11:56:25
関数プログラミングのケーススタディ1:並列姓
コモディティハードウェアに並列プロセッサ来ちゃった…
「パフォーマンスが大事です、でも生産性のほうがもっと大事です」
半自動並列化
「並列アルゴリズムを書く際に、明示的な並行性は書かない」
(並列が目的、並行はその手段の一つに過ぎず)
タグ:
posted at 12:00:21
そこで、プロパティドリブン開発手法
・型
・状態の最小化
・コンビネータとEDSL
パフォーマンスの違い、相容れないもの
・unboxed mutable配列とかループ(パフォーマンスに有利)
・純粋関数(並列姓と最適化の余地)
タグ:
posted at 12:03:10
量子テレポーテーションは、一言で言うと、ある原子や光子や電子などを "0秒"で 離れたところに移動される手法です。 0秒ということは、当然 光速を超えています。 これは、光速を超えることは不可能だとするアインシュタインの主張を無視しているように見えますが、実はカラクリがあります。
タグ:
posted at 13:00:16
量子テレポーテーションで 0秒で移動しているのは、実は物質そのものではなく、物質に乗っている"情報"なのです。 例えば、外見が全く同じ 太郎君と次郎君がいて、ある日 2人とも記憶喪失になって お互いの名前を逆に名乗り始めたとしましょう。 すると2人はテレポートしたように見えます!
タグ:
posted at 13:04:04
昔やった落ち物ゲームの Chaos を似せてゲーム作った.D言語で.github.com/tom-tan/Cosmos 説明書も何もないから暇な人だけどうぞ.
タグ:
posted at 14:24:27
ドットインストールにUnityがきた!全くの初心者でゲーム作りたい人はこれみたらいいんじゃないかな? Unity入門 (全26回) - プログラミングならドットインストール #dotinstall dotinstall.com/lessons/basic_...
タグ: dotinstall
posted at 16:57:27
UnityのMonoDeveloperの文字化けが直った!環境設定開いた時の文字化け具合には驚いたわ…。
d.hatena.ne.jp/nakamura001/20...
タグ:
posted at 19:05:53
HSPプログラミングコンテスト最優秀ゲーム賞の思い出
hspboxinggame.blogspot.jp/2013/08/hsp.html
今年もコンテストは行われるようで本当に楽しみです。 ふと受賞前後の思い出を残しておこうと考えてブログに残しました。もう9年前、記憶も曖昧になりつつあるので…。
タグ:
posted at 19:30:10
非公開
タグ:
posted at xx:xx:xx
非公開
タグ:
posted at xx:xx:xx