orange @[email protected]

お約束の「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(等)でしてるだけっぽいかも＞＜

既存や外部経由での繋がりにのみ使うんだったら、SNS系のもの使う意味無いと思うしメールとかでいいじゃんと思うし、百歩譲って外部経由のみでも意味あるとしたら、ただのこそこそしたお知らせ掲示板(物理的な板の方)程度かも＞＜

オレンジの場合、繋がりの広がり方はだいたい、フレンドリーな人が繋がって来て、そのフレンドリーな人と議論なり雑談なりすると、フレンドリーな人とすでに知り合いの人が話に参加してきて・・・みたいなパターンがほとんどで、えじょさんもそういうパターン＞＜(えじょさんの時の この文でいうフレンドリーな人はザクさん( @cuezaku )だった＞＜)

オレンジのツイッター/マストドンの使い方かなり異なってるかもで、他の手段で知った人との繋がりにも使ってるけど、それに限らず、そのネットワーク内で知り合った人を中心に繋がりを形成していて、なおかつ『有名人だから』みたいな理由でフォローすることはまず無い＞＜(なぜそう使うかと言うと、その使い方は他で代用できない＝それを使う意味がある使い方だから＞＜)