人間が思考するために使っている能力には比較的独立した5つの要素があるのではないだろうか。それはデータベース、パターン認識、論理、シミュレーション、直感の5つだ。
記憶とせずにデータベースとしたのは、記憶力を左右するのは繰り返しによって記憶を定着することよりも想起する力をつける方が記憶力をつけるからだ。人間の記憶は連想で出来ているようなので、連想する力をつけることが記憶の管理には重要になってくる。 パターン認識は現在見ているものと同じようなパターンを記憶の中から取り出す能力だ。ノイマン型のコンピュータにパターン認識をさせるのは大変だが、脳型のコンピュータをつくるとたやすくプログラムできるらしい。パターンとは何かという数理的なモデルができれば、コンピュータのパターン認識能力も飛躍的に伸びるに違いない。 論理は、こうなればこうなるという推論だが、本質的には起こりえるあらゆる可能性を列挙することだ。論理には演繹 deduction、帰納 induction、推理 abduction の3種類がある。演繹は公理や定理から論理的に導き出される結論について論証する。帰納は経験や実験結果をもとに、その中に内在する法則を導き出す。推理は限られた証拠の中から、最もありえる仮説を考えだすことだ。 シミュレーションは非言語的な論理だ。頭のなかに操作可能なモデルを作成する能力だ。コップの水がこぼれた時の様子を思い浮かべることができるだろうか。それは、過去の経験を思い出しているばかりではなく、その経験をもとに水の動きをシミュレーションしているのだ。脳の中のシミュレーションが高度なものであるのは、自分が入浴しているところを想像してみればよい。水面の波紋や、シャワーの水滴の軌跡など高度のシミュレーションが行われているのが分かる。この頭のなかで作成したモデルを操作する能力は、数学を理解するための必須の能力だ。この能力は代数を学ぶより幾何学を学んだほうが鍛えられるような気がする。 直感は事実の中に意味を見つけ出す能力だ。卑近なところでは「これは何の役に立つのか」とか「これは何に利用できるのか」というような考え方だ。あるいは、「要するに」という問題点を要約する力とも言えるだろう。 これらの能力がどう働くかは将棋を指すときのことを考えてみれば分かる。記憶は、過去の棋譜や詰将棋の解答の記憶だ。パターン認識はそれらの記憶から現在の戦局に似ているものを思い出す。論理はそれらを元に自分の次の一手のあとにどのような展開が起きるかを網羅的に考える。シミュレーションは熟練した指し手であれば、その後の起こりえる戦局の変化が盤面のイメージとして浮かんでくる。直感はそれらの考えられる指し手のうち最も重要なものを選び出す。 将棋はこのように思考の5つの要素をバランスよく使うので、思考のモデルとなるが、将棋の思考は将棋に特化しているため将棋が強ければ全ての思考活動で応用可能だというわけにはいかない。しかし、ある時期将棋の訓練をするのは思考力を鍛える上で大切かもしれないという感じはする。 これらの5つの要素が独立しているのは、単なる物知りや、おやじギャグや、理屈っぽい人や、手先の器用な人や、妙に穿った意見を言う上司などが存在することからも分かる。自分が差し当たり抱えている問題についてこの5つの要素のどれを補強しなければならないのかを意識的に反省してみることも重要である。 #
by tnomura9
| 2014-09-24 04:55
| 考えるということ
|
Comments(0)
本を読んでも頭に入りづらい知識をどう料理すればよいかというのが管理人の長年のテーマだが、それは比喩と論理を上手く使う事ではないかと思うようになった。
比喩とは「彼女の笑顔はまるで花のようだ。」というような喩えではなく、新しい知識が既存のパターンと似ているのではないかという考察だ。 例えば写像は集合の要素を別の集合の要素に対応づけることだが、これには定義域としての集合と値域としての集合およびそれを結びつける写像という3つの要素からなっている。また、これを図解すると定義域の集合から値域の集合へ向かって写像の矢が伸びているというパターンになる。 新しい知識を習得するときは、この既知のパターンを利用する事になる。圏と圏の間の射である関手 F : C -> D の場合 domain の圏 C と codomain の圏 D を関手 F で結びつけているというパターンは集合と集合の射の場合に似ている。したがって、関数の機能と集合の写像の機能を似たようなものとして理解する事ができる。 しかし、似て非なるものという言葉の通り、圏の対象と射からなる内部構成は、集合の要素の集まりと言う均一な構成とは異なっている。したがって、関手は対象の写像である対象関数と、射の写像である射関数という2つの異なった要素から構成されている。また、射関数は恒等射と射の合成の保存という性質を持っていなければならないので、単純に集合の写像の類推で理解する訳にはいかない。 一旦類推で理解した新しい知識のパターンはこのように、論理的な検討をしてそのパターンが本当に適切なものなのかどうかを検討しなくてはいけない。そのときに必要な論理的な検討というのは、本当にそのパターンでいいのか、その知識をそのパターンで理解したときにどういう推論ができるのか、その推論の結果は他の関連事項と整合しているのかどうかなど、様々な面から推論を行ってみる事だ。この論理的なチェックに合致しなければ、最初のパターンは改変するか、別のものに置き換えなければならない。 要するに新しい知識に触れたとき、既知の知識のパターンと似ているものはないかを探し、似ているパターンがあれば、とりあえずそのパターンで理解することにして、次にそのパターンに論理的整合性があるかどうかを検討するという2段階の操作が、新しい知識を習得するときの方策の全てだ。 従って、新しい知識を習得するためには、類推するための既知のパターンを多く持っている必要がある。また、その既知の知識の論理構造について熟知しておく必要があるという事になる。それが不足している場合には、その知識を習得するための予備的な知識の獲得を先にやっておかなければならない。 新しい知識を習得するときは、このようにパターン認識と論理的検討という2段階の操作を意識して行う事が大切だ。これを仮説と検証という言葉で置き換えても良い。古くからある定番の方法だ。 さらに、これに加えて既知の知識について十分習熟しておかなければならないという要件がある。既知の知識が論理的な検討もされておらず、単に知っているだけという状態では、とうてい新しい知識を消化するための叩き台にはなり得ない。スポーツの基礎練習のように、知っていると思っている事も繰り返し検討して血になり肉になるようにしておかなければならない。 学問に王道なしという言葉は、学習が進むにつれて身にしみて感じられるようになる。最初は既知の知識のアナロジーでぼんやりとわかっていたことが、論理的に批判的な検討をしていくうちに、そのパターンの細部の構造を理解できるようになり、また、新しい知識と既知の知識との関連も明確になっていく。それを根気よく繰り返していくうちに、最初の認識がもっと精密な堅牢な知識に変化していく。また、知れば知るほど必要な知識の深さと広さを実感するようになるからだ。 #
by tnomura9
| 2014-09-15 13:34
| 考えるということ
|
Comments(0)
このブログで書きためた圏論の記事のリストだ。
この一連の記事の目的は Haskell と初歩の集合論と初歩の群論の基礎知識しかないものがはたして圏論を理解できるようになるのかというかということを検証することだ。最終目標としては Haskell のモナドを理解できるようになることと。米田の補題を理解できるようになることだが、壁に突き当たっている。 しかし、基礎知識が不足しているアマチュア・プログラマが圏論にどう挑戦していっているのかというライブレポートにはなると思う。したがって、記事の性質上誤っているところは多々あるに違いない。折々、気づいた誤りは訂正していきたいと思っているが、判断は読者に頼りたい。 数学の知識は分かってしまうと逆に説明が難しくなる。用語の意味が自分の中で当たり前になってしまい、分かりやすく説明するためにどこまで基礎知識を遡ればいいのか分からなくなるからだ。分からない状態と分かった状態との間のミッシングリンクを埋めるにはどうすればいいかというのは興味ある問題なので、自分自身の誤解や誤りはそのまま残しておきたいと思う。今から見ると明らかに誤りである記事もなぜそのような誤解をしたのか理由を考えると面白い。 言い訳がましいが、誤解の分析は正確な理解にたどり着くための重要な手段となる。 圏論は面白い(1) メタグラフ 圏論の言葉 圏論の言葉 その2 Isomorphism, retraction, section 構造を保存する写像 endomap の構造 モノイド対象 モナド 圏論の攻略法 mono, epi, iso 部分対象 (subobject) イコライザー equalizer 積 product プルバック pullback 射の積 product of arrows 冪対象 mapping object, exponentiation サブオブジェクト・クラシファイアー subobject classifier natural number object (NNO) 可換 自然数の加法 一意的 関手のイメージ 自然変換のイメージ 随伴関手のイメージ 小さい圏で遊ぶ 小型圏の関手 自然変換のイメージ(再考) プログラマのための圏論攻略法 unit と counit cone と limit 双対 dual 圏論では射の中身もみえない。 単純な双対の例 可換 commutative 関手の圏 自然変換の垂直合成と水平合成 自然変換の水平合成 二項演算 モノイドと自由モノイド 群と自由群 忘却関手のイメージ 部分圏のイメージ 自由群の準同型写像の作り方 自由群と随伴関手 #
by tnomura9
| 2014-09-14 12:22
| 圏論記事リスト
|
Comments(0)
管理人は以前から思考法に興味があった。それは数学ができなかったという原体験が元になっているが、別に数学者になりたい訳ではなかった。しかし、他の人に分かることが自分にはわからない、それも情報源がほぼ同じであるにもかかわらずそのような現象が起きてしまうという事実が不思議でならなかったのだ。
画期的な発明や発見は普通の人には無理だが、しかし、既に確立しているような内容の知識であっても理解するのは結構たいへんだ。そうであっても、最先端の知識が少数の人にしか理解できないのであれば、それを応用したり他の分野に利用したりなどということは不可能になる。微分積分のような知識も最初は世界中で数人の人しか理解できなかったかもしれないが、今は高校生が普通に学習している。それは微分積分の知識が整理され、応用例もたくさん出てきたために、普通の人でも理解できるようなカリキュラムが整備されてきたからだ。 社会全体のイノベーションは、このような高度な知識のかなりの部分が大衆化される必要がある。高度な知識を探求するスター選手と同時に、そういう人たちが開拓した知識をなんとか理解できる大多数の普通の人も必要になってくる。それらの多くの普通の人が、高度な知識を理解できるようになるためのコツのようなものはないのだろうか。 管理人は、ある程度ならそのような事が可能になるのではないかという気がする。このブログで追求しているのはそのような方法があるかどうかということなのだ。 考えるということのリスト #
by tnomura9
| 2014-09-11 12:51
| 考えるということ
|
Comments(0)
今日テレビの音楽番組を見ていたら、篠原ともえがゲストで出演していた。個性的な髪型の黒髪と真っ赤なドレスとよく動く表情が異世界的な美しさを感じさせてびっくりした。すごい美人というわけではないのだが、芸術的な雰囲気をまとっている印象があった。
篠原ともえというと、ハイテンションの変な女の子という昔の印象があったので、興味が出てきてグーグルで調べてみたら、「変身」「可愛くなった」「美しくなった」というコメントが多かった。 奇抜なファッションと突き抜けた元気さで一斉を風靡した女の子も、35歳の美女に変身し、天文宇宙検定三級だそうだ。 赤いスイートピー King Of Pops2 - Guitar☆Man GPK featuring 篠原ともえ #
by tnomura9
| 2014-09-06 22:27
| 話のネタ
|
Comments(0)
|
カテゴリ
新型コロナウイルス 主インデックス Haskell 記事リスト 圏論記事リスト 考えるということのリスト 考えるということ ラッセルのパラドックス Haskell Prelude Ocaml ボーカロイド 圏論 jQuery デモ HTML Python ツールボックス XAMPP Ruby ubuntu WordPress 脳の話 話のネタ リンク 幸福論 キリスト教 心の話 メモ 電子カルテ Dojo JavaScript C# NetWalker ed と sed HTML Raspberry Pi C 言語 命題論理 以前の記事
最新のトラックバック
最新のコメント
ファン
記事ランキング
ブログジャンル
画像一覧
|
ファン申請 |
||