田守 伸也(パズル作家) @tamori_puzzles プロのパズル作家。 日本パズル連盟 スタッフ。 📺クイズ番組『 IQサプリ』などの問題作成。パズル制作◆適格請求書発行事業者◆⭐週3で普通のマッチ棒パズル出題。 謎解き は不定期。⭐現在、たくさんご依頼をいただいておりますが、お話によってはお受けできます。ご依頼はinfo@tamori-puzzle.com又はDMで https://t.co/eK33j3D7cK
田守 伸也(パズル作家) @tamori_puzzles プロのパズル作家。 日本パズル連盟 スタッフ。 📺クイズ番組『 IQサプリ』などの問題作成。パズル制作◆適格請求書発行事業者◆⭐週3で普通のマッチ棒パズル出題。 謎解き は不定期。⭐現在、たくさんご依頼をいただいておりますが、お話によってはお受けできます。ご依頼はinfo@tamori-puzzle.com又はDMで https://t.co/eK33j3D7cK
Takayuki Kihara @tri_iro twitter上の中高生を見ていると、某後輩の『圏論くらい高校生のうちに習得してるのが普通だと思ってた』発言が真実だったのではないかと思えてくる。高校生こわいです。あ、僕はもちろん高校時代には圏論のけの字も知りませんでしたよ! 2010-04-06 23:18:56 今日のインターネットは終わりです @n_2i RT @tri_iro: twitter上の中高生を見ていると、某後輩の『圏論くらい高校生のうちに習得してるのが普通だと思ってた』発言が真実だったのではないかと思えてくる。高校生こわいです。あ、僕はもちろん高校時代には圏論のけの字も知りませんでしたよ! 2010-04-06 23:20:01
圏論、はじめました。 最近、圏論(Category Theory)という学問の勉強をはじめました。 まだまだおぼろげな理解なのですが、圏論というのは、数学者が哲学者のような思考を重ねた結果、生まれてきた学問のようです。もっとも、たいていの人には、哲学も、数学も、やたら小難しいことをいう人たちの学問、というメージがあると思います。そして、そこで話されることは、自分たちの日常生活とは、どこかかけ離れたものというイメージがあると思うのです。 大雑把に言えば、そのイメージは間違っていません。 以下は、僕の理解です。 哲学とは… 哲学者は、問題を見つけることは得意です。ですが、問題を見つけたあと、それをどのように解決するべきかを教えてくれません。もっとも、過去に見つかった様々な問題と絡めて話してくれたりするので、哲学の世界では、過去の問題との関係や、他の問題とどのような関係にあるのかが分かります。
「圏論って何ですか。」と聞かれることがある。返答にはものすごく困るのだが、差し当たって、代数の一種だと答えることにしている。嘘は言ってないが、おそらく質問に答えられていない。しかし私もそれがわかった上で、できるだけ中立な立場であえて代数と言っているのだ。多ソート代数( many sorted algebra, heterogeneous algebra )や順序ソート代数を知っている人ならばそれで理解してくれるはず。直観的には矢印の集まりで、その代数だ。 ニュアンスは違うが、数学者の中には「圏論は言葉だ」という人もよくいる。考えている数学的対象たちがどれくらい違うものなのか、どれくらい近いものなのかを測るのに圏が使われることがよくある。また、“物”どうしの関係や性質が、物の周りの“矢印の性質”という形で現れるので、その“物”を取り替えてみたりすることで、別の“物”による類推がしやすくなる。
“数学が専攻でないプログラマー屋さんが「それでも圏論を勉強したい」というのならば、まず意識改革が必要だと思います。 どういう事かと言うと、『圏論は(数学的な構造を記述するための)言葉に過ぎない』と予め割り切った意識を持たねばならない。 同じくプログラミングの世界で多少は利用されつつある記号論理が単なる言葉(記述手段)であるようにね。 言い換えると、圏論やそこで登場する様々な概念(定義)そのものに対して具体的なイメージを期待しても無駄という事。 つまり、圏論は言葉だから使い方を知らねばならない。使い方を知るには具体例(語学の勉強ならば文例ですね)を色々と知っておかねばならない。 そうすると、まず圏が登場した切っ掛けは、数学的構造とそれを保存する写像としての準同型の概念それぞれを抽象化して、 対象(object)と射(morphism)となったのだから、圏論の利用での最も基本的なの
2010年03月23日 ➥ 大学入試数学史上最大の難問『98年東大後期』 80 comments ツイート 219:シール(関西地方) []:2010/03/21(日) 22:48:01.30 ID:38Ln8AxR 灘の数学の問題何て演繹的に全てできる。 てか中高の入試問題はどんなに難しくても演繹的。 大学受験界で唯一高校数学の概念を超越していて、かつ 大学数学かというとどのジャンルかは不明な超難問が 東大1998年後期の3の(2)らしい。 この3の(2)は噂では合格者の内わずか2人だけ完解して 後期受験者数百人唯一後期数学満点だったと聞いた。 233:漁網(神奈川県) [sage]:2010/03/21(日) 22:51:08.27 ID:OhtZuCs3 >>219 エリートニュー速民ならとけるかな http://kaisoku.kawai-juku.ac.jp/nyushi/hon
1: 以下、名無しにかわりましてVIPがお送りします 2013/06/12 13:36:32 ID:PbTuNpr90
不思議ネット とは 不思議.netでは5ちゃんねるで話題になっているスレを厳選してお届けするサイトです。普段5chを見ない人でも気軽にワクワクできる情報サイトをころがけて毎日絶賛更新中!
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く