orange @[email protected]

おもしろい＞＜＞＜

IConvertible?><

？＞＜
”C# では構造体struct（C++までの知識で言えば、フィールドしかないclassがstruct)を使えば
値型を自作できるらしい。”
型を学ぶ～C# の値型はJava人にとって驚きだ http://juujisya.jugem.jp/?eid=5

「リンゴが5個ありました。みかんが3個ありました。いくつでしょう？＞＜」
「なにが？＞＜；」
ってAdaでは当たり前っぽいけど、C# では簡単に書けない・・・？＞＜（C# で独自の単純型ってどうやって作るんだろう？＞＜）

お約束の「1+1=2っておかしい！ だっておにぎり2個たしたら大きいおにぎり1個じゃん？ さんすうきらい・・・」みたいなのも型理論を小学校の算数に引っ張ってくれば解決じゃん？＞＜って気がしてる＞＜（けどTaPL読んでないから”気がしてる”どまり・・・＞＜；）

（足し算だけど＞＜；）

さんすう「リンゴが5個ありました。みかんが3個ありました。あわせていくつでしょう？＞＜」

(自称数学好きに多い？)型理論が無い数学（のサブセット）
「5は5であり3は3であり 5+3 あるいは3+5で答えは8。みかんもリンゴも無い」

型原理主義者
「いくつって何が？＞＜」

数学順序問題の話題も出てて、またTaPL読みたくなった＞＜；（オレンジはその問題は型理論で解決できると考えてる＞＜）

今日のこれおもしろかったしなんか共感した＞＜；（一番最後に「刺々しい事言い過ぎたとか後悔してないですか？」みたいに聞かれてて、「お酒飲みながら放送見て、酔いがさめて青くなってあわててネットの評判見てる」みたいな事言ってた＞＜；）--
林先生が驚く 初耳学 ｜ MBS公式 http://www.mbs.jp/mimi/

HTML5がある意味帰ってきたActiveXかも＞＜（迷惑な意味で）

LANケーブル断線して、数日間古いwifiルータ多段接続で謎挙動接続でPCからマストドン見れなかったけど、ケーブル交換してLAN復旧しました＞＜；

チャーシュー、オレンジの家バージョンは圧力鍋無いと作れない・・・＞＜

それは確かにオレンジも、積極的に繋がりを作る機能は持たせる必要は無いと思う＞＜
一方で、前にアイディアを書いたツイッターでいう所のモーメントみたいな、自分の発言をブースト込みでまとめるような機能はあるとおもしろいと考えていて、それはもしかしたら繋がりを作る役割も持つかも知れないとは思ってる＞＜

あと、オレンジの観測範囲で見る限り、ハブになるひとって、別に有名人だったり有名人になろうとしてたりとかしてないかも＞＜ どっちかというとネトゲとかで知らない人とすぐに打ち解けてフレンド登録する流れになるような人々で、同じ事をSNS(等)でしてるだけっぽいかも＞＜