和木 慎一郎
- いいね数 9,816/8,668
- フォロー 811 フォロワー 159 ツイート 6,570
- 現在地 山口県岩国市由宇町 / 広島県廿日市沖塩屋
- Web http://b.hatena.ne.jp/sin16waki
- 自己紹介 私ツイート/コメントは一部閲覧注意なブックマーク/リンク集。 http://booklog.jp/users/shinwaki http://bookmeter.com/users/459004 http://bit.ly/2FMgAyS https://amzn.to/3w3ZEPB
2012年05月11日(金)
【直観主義の数学１】現在整理された直観主義，あるいは構成主義的数学は創始者ブラウワーの直観主義とはかなり様相が異なる．つまりブラウワーの持っている哲学性をすべて剥奪したものになっている．そこでブラウワーの哲学をちょっとメモ風に紹介しよう．
タグ：
posted at 14:17:47
非公開
タグ：
posted at xx:xx:xx
非公開
タグ：
posted at xx:xx:xx
日本評論社の『数学セミナー』誌は本当におすすめの雑誌。ぼくがここ数ヶ月のあいだ楽しみに読んでいるのは「圏論の歩き方」。知っている話が多いのですが、正直函数プログラミング関係の話は全然知らなかったので滅茶苦茶楽しめました。圏論のモナドのような話がもろに役に立ちそうなことが～続く
タグ：
posted at 21:59:23
2012年05月12日(土)
かつての「日本は電機だ、製造だ」もウソだし、「もう電機はダメ」もウソ。電機と言っても、製造、設計、ソフトではビジネスモデルが全然違う。「空気」に流されずに、個々の案件を見定めて投資したり、開発するのが大事。「空気」に飲み込まれず、この当たり前のことができた人が将来の勝者でしょう。
タグ：
posted at 07:41:46
非公開
タグ：
posted at xx:xx:xx
１年ぶりの「キラキラ☆彡」。最後の「時は流れて風が吹く」に涙。グリパラ速報。歌ったゲストは渡辺真知子・小林旭・武田鉄矢・石川ひとみ。でも武田さんと石川さんは飛び入りでした。
タグ：
posted at 20:37:19
非公開
タグ：
posted at xx:xx:xx
2012年05月13日(日)
非公開
タグ：
posted at xx:xx:xx
仕事とは切り離して割り切って書くと、俺はガチャ自体そんなに好きではない。アイテム課金はまぁアリだ。あれをなしにするともう商業ゲームが成り立たないところまできた。F2Pじゃないと誰も手を出さないから。
タグ：
posted at 13:22:12
女性がどんどん労働市場へ本格的に参入する一方で、自分より高収入で社会的地位が高い男としか結婚しないという「封建的」女性の特質のみ残しているという御都合主義について。
タグ：
posted at 13:32:23
Video: 「日本のアイドル」として，一人，一曲を挙げて説明するとしたら，伊藤つかさ『夢見るSeason』(1982，詞・曲:原由子)だろう。『少女人形』はあざとすぎるうえ，曲が南こうせつだしな。 t.co/ll5JrPLB
タグ：
posted at 15:15:13
HaskellもScalaもある程度以上詳しいと思われる人による、 Haskell と Scala の比較。 t.co/bgU60VSm #scalajp
タグ： scalajp
posted at 18:07:39
"世の中には誰にとっても役にたたないようなことを調べて、整理して、体系化している人がいる。そういう人たちは研究者と呼ばれている。" t.co/3zLr1RnE
タグ：
posted at 22:32:27
2012年05月14日(月)
@Erzherzog_Este 現代思想なんて、大手の宗教勝てないんじゃないの…? だって、別に科学とかしてる訳じゃなくて、哲学な営みしてるだけで、思想史や文化に関連しても、それ以上の影響ってあるのかな。まともにやるなら、道は遠かろうと、上手に科学的に人類を扱うと考えます。
タグ：
posted at 04:37:35
非公開
タグ：
posted at xx:xx:xx
KoichiroKOKUBUN國分功一郎 @lethal_notion
日本は文芸評論家がずっと哲学っぽいことやってきて、その業績は面白かったし、それはそれでいいんだけど、ああいう人たちって「思想哲学は徒手空拳でなければならない！」みたいな思い込みが激しいから、教育のこと、全く考えてない。だから、哲学書から引用しても、ページ数すら記してなかった。
タグ：
posted at 10:59:31
非公開
タグ：
posted at xx:xx:xx
【評価経済ニュース】団塊世代じゃないけど、こういう考え方はイヤ。今の20代だって30年後に「お前らの世代の怠け癖が経済敗北の原因になった」と言われるのは不本意でしょ？ #frex t.co/U26vEl8l
タグ： frex
posted at 18:32:57
非公開
タグ：
posted at xx:xx:xx
2012年05月15日(火)
本日配信のαシノドスおよびシノドス・ジャーナルに、「オウム真理教とアカデミズム」という記事が掲載されております。t.co/EZWzOo9E インタビューをしていただいた芹沢一也さん、宮崎直子さん、誠に有難うございました。
タグ：
posted at 10:34:30
非公開
タグ：
posted at xx:xx:xx
俺はイケダさんの百倍位罵倒されてる気がするし、イケダさんは「普通の個人」ではないし、だからこそイケダさんは今結構失うものがある気がするし、たかだかツイッターの影響力を「魔法」と言うのは言い過ぎ感が…。 / “フォロワーが2万人を超えて…” t.co/1nttcq2l
タグ：
posted at 15:47:48
2012年05月16日(水)
非公開
タグ：
posted at xx:xx:xx
お、これは嬉しいな | 科学雑誌「Newton」のiPad版が創刊、創刊号は無料 -INTERNET Watch t.co/8pWN4UfD @internet_watchさんから
タグ：
posted at 07:16:42
@YusukeOhara @mya_hal 関数型教に負けないように、論理型も布教だぁ。Prologは、OOとか言わず、ピュアだ。(OOと論理型は両立するが。ex. ICOTのやってたこと)
タグ：
posted at 13:26:06
call/ccはまずい抽象化だっていう話は t.co/CvoRM7VC 。そこから t.co/vCGXtiiE とかMatthias Felleisenが call/ccって本当に必要？ って言っていたりとかも t.co/zclnxbn0
タグ：
posted at 19:46:30
非公開
タグ：
posted at xx:xx:xx
「イエス・キリストを信じるとは、キリストの何を具体的には信じるのですか？」に答えました t.co/d8fGY2ww #theinterviews
タグ： theinterviews
posted at 20:30:14
非公開
タグ：
posted at xx:xx:xx
