ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算模型のひとつで、計算の実行を関数への引数の評価（英語: evaluation）と適用（英語: application）としてモデル化・抽象化した計算体系である。ラムダ算法とも言う。関数を表現する式に文字ラムダ (λ) を使うという慣習からその名がある。アロンゾ・チャーチとスティーヴン・コール・クリーネによって1930年代に考案された。1936年にチャーチはラムダ計算を用いて一階述語論理の決定可能性問題を（否定的に）解いた。ラムダ計算は「計算可能な関数」とはなにかを定義するために用いられることもある。計算の意味論や型理論
圏論 - Wikipedia
圏論（けんろん、英: category theory）は、数学的構造とその間の関係を抽象的に扱う数学理論の 1 つである。サミュエル・アイレンベルグ と ソーンダース・マックレーンとによって代数的位相幾何学の基本的仕事の中で20世紀中ごろに導入された。圏論において考察の対象となる圏は対象とその間の射からなる構造であり、集合とその間の写像、あるいは要素とその間の関係（順序など）が例として挙げられる。 数学の多くの分野、また計算機科学や数理物理学のいくつかの分野で導入される一連の対象は、しばしば適当な圏の対象たちだと考えることができる。圏論的な定式化によって同種のほかの対象たちとの、内部の構造に言及しないような形式的な関係性や、別の種類の数学的な対象への関連づけなどが統一的に記述される。 圏の研究は、関連する様々なクラスの数学的構造に共通する性質を見出そうとする試みだといえる。 集合論的な数学
Lazy K - Wikipedia
Lazy K（れいじーけー）は組み込み関数が3つしかない、純粋関数型言語である。似た言語として、同じような表記をする、非純粋関数型言語であるUnlambdaがある。 純粋関数型言語として、チューリング完全でありながら、絶対必要なエッセンスだけを抜き出したプログラミング言語である。遅延評価を行う。使用するにも、処理系を実装するにも、コンビネータ論理の知識が必要である。 標準入力をプログラムである関数の引数として受け取る。ただし、標準入力は1バイトごとのチャーチ数（英語版）のスコットエンコードされたリストとしてエンコードされ、出力も同様に1バイトごとのチャーチ数のスコットエンコードされたリストとなる。 Lazy K にて Unlambda を実装した場合、Unlambda で Unlambda を実装した場合に比べて約1/10のソースサイズで収まる。
Scheme - Wikipedia
この中でカール・ヒューイットが設計した規則ベースの言語 Planner はあまりに複雑な機構を持っていたため当初設計された全機能の実装は困難であり[注釈 9]、サスマン等はそれをサブセット言語の Micro-Planner として実現し、さらには、 Planner の流れを汲んだ独自言語として Conniver を作成した。 同じくカール・ヒューイットが設計したアクタ言語 Plasma (Planner-73) も複雑な機構を持っていたため、MacLisp による実装が存在したものの、その動作の仕組みを理解するのは困難であった。サスマン及びガイ・スティール・ジュニアは Plasma を理解するために、不要な機能を省いた LISP 構文を持つ小さな Plasma を設計した。 上記の Plasma からその小さな Plasma の設計に至る過程は Planner から Micro-Plann
遅延評価 - Wikipedia
評価しなければならない値が存在するとき、実際の計算を値が必要になるまで行わないことをいう。評価法が指示されているが実際の計算が行われていない中間状態の時それをプロミス（英: promise）や、計算の実体をさしてサンク（英: thunk）といい、プロミスを強制（英: force）することで値が計算される。一旦計算された値はキャッシュをすることが可能であり、遅延プロミスは最大で一度しか計算されないようにすることができる。ただし、Haskell の実装によっては、何度でも同じ計算を行う。 遅延評価を行う利点は計算量の最適化である。 ある関数を呼び出すとき、その関数が引数の全てを利用するとは限らない。条件次第で捨ててしまうような値を事前に準備することは非効率的である。このような場合遅延評価を行うと必要なときだけ値が計算されるので計算量を低減できる。 また同じ評価を複数回利用する可能性があるとき、
)
モナド (プログラミング) - Wikipedia
関数型プログラミングにおいて、モナドはプログラムを構造化するための汎用的な抽象概念である。対応したプログラム言語では、ボイラープレート的なコードでもモナドを使って除去することが可能となる。これはモナドが、特定の形をした計算を表すデータ型と、それに関する生成と合成の2つの手続きを提供することによって実現されている。生成は任意の基本型の値をモナドに包んでモナド値を生成する手続きであり、合成はモナド値を返す関数(モナド関数)たちを合成する手続きである。[1] 広い範囲の問題をモナドを使うことで単純化できる。例えば、Maybeモナドを使えば未定義値への対処が簡単になり、Listモナドを使えばリストに入った値を柔軟に扱うことができる。複雑に組み合わさった関数は、モナドを使えば、補助データの管理や制御構造や副作用を除去した簡単なパイプライン構造に置き換えることができる[1][2]。 モナドの概念や用語
予定調和説 - Wikipedia
予定調和説（よていちょうわせつ、フランス語: harmonie préétablie）は、すべての「実体」は自分自身にのみ影響し独立しているとする、因果関係に関するライプニッツの哲学、神学的原理である。 この考え方では、世界を構成する要素である実体（身体と心の両方）はそれぞれ因果関係があるように見えるが、それは神によって事前に互いに「調和」するように設計されているためだとしている。 ライプニッツはこの実体をモナドと名付け、「モナドには、そこを通って出入りできる窓はない」（相互作用しない）と『単子論』(Monadology§7）で説明した。 この理論は心と体がどのように相互作用するかという心身問題の解決策として知られている。ライプニッツは心と体が互いに影響しあうという考えを否定し、すべての因果関係をこの理論で説明した 。 予定調和説の下では、それぞれの精神の事前の設計は非常に複雑でなければな
心の哲学 - Wikipedia
この記事には適切な導入部や要約がないか、または不足しています。 関連するスタイルマニュアルを参考にして記事全体の要点を簡潔にまとめ、記事の導入部に記述してください。（2017年6月） （使い方） 骨相学による脳の地図。骨相学は、その結果のほとんど全てが誤ったものであったが、心的な機能と脳の特定の位置との関連づけを初めて試みた。 心の哲学（こころのてつがく、英語: philosophy of mind）は、哲学の一分科で、心、心的出来事、心の働き、心の性質、意識、およびそれらと物理的なものとの関係を研究する学問である。心の哲学では様々なテーマが話し合われるが、最も基本的なテーマは心身問題、すなわち心と体の関係についての問題である。 心身問題とは、心と体の状態との間の関係[1]、つまり一般的に非物質的であると考えられている心というものが、どうして物質的な肉体に影響を与えることができるのか、そし
スワンプマン - Wikipedia
スワンプマン（Swampman）とは、1987年にアメリカの哲学者ドナルド・デイヴィッドソンが考案した思考実験。思考などの心の状態や発話の内容を主体がその時とっている内的な状態だけでなく、来歴にも依存するものとして捉える彼の理論への可能な反論として提唱された[1]。ルース・ミリカンの目的論的意味論などの同じく歴史主義的・外在主義的な志向性や内容の理論への反例としても論じられる[2]。スワンプマンとは「沼 (Swamp) 」の「男 (man) 」という意味の英語。 ある男がハイキングに出かける。道中、この男は不運にも沼のそばで、突然雷に打たれて死んでしまう。その時、もうひとつ別の雷が、すぐそばの沼へと落ちた。なんという偶然か、この落雷は沼の汚泥と化学反応を引き起こし、死んだ男と全く同一、同質形状の生成物を生み出してしまう。 この落雷によって生まれた新しい存在のことを、スワンプマン（沼男）と言
心理学COCOROの法則: エリクソンの心理社会的発達理論
人生を８段階に区分して、それぞれに発達課題と心理社会的危機（psychosocial crisis）、重要な対人関係、心理社会的様式が設定されている。 １．乳児期 （基本的信頼 対 不信） 基本的信頼は、乳児期の主に授乳関係を通じて作られるといわれる。唇でお乳を飲む行為は、食物摂取という生理的な意味ばかりではなく、後の人格発達の原型となる心理的な意味もある。乳児は口を通じて自分の周りの世界を学んでいく。この時期に子どもが世界は自分を養ってくれ、頼ることができ、信頼するに値すると感じることができるか否かで、その後の親密な人間関係を築き上げていく土台が作られる。 ２．児童前期 （自律性 対 恥、疑惑） この時期になると、幼児は肛門括約筋をはじめとする全身の筋肉が発達してきて、自分で立って歩けるようになり、排泄をコントロールすることが可能となる。発達課題としては、排泄と保持という体験を通じて自律
自己同一性 - Wikipedia
この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2014年6月） 独自研究が含まれているおそれがあります。（2015年10月） 正確性に疑問が呈されています。（2015年10月） 出典検索?: "自己同一性" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL 自己同一性（じこどういつせい、アイデンティティ、英語: identity）とは、心理学（発達心理学）や社会学において、「自分は何者なのか」という概念をさす。アイデンティティもしくは同一性とだけ言われる事もある。当初は「自我同一性」（じがどういつせい、英: ego Identity）と言われていたが、後に「自己同一性」とも言われるようになっ
発達心理学 - Wikipedia
英語版記事を日本語へ機械翻訳したバージョン（Google翻訳）。 万が一翻訳の手がかりとして機械翻訳を用いた場合、翻訳者は必ず翻訳元原文を参照して機械翻訳の誤りを訂正し、正確な翻訳にしなければなりません。これが成されていない場合、記事は削除の方針G-3に基づき、削除される可能性があります。 信頼性が低いまたは低品質な文章を翻訳しないでください。もし可能ならば、文章を他言語版記事に示された文献で正しいかどうかを確認してください。 履歴継承を行うため、要約欄に翻訳元となった記事のページ名・版について記述する必要があります。記述方法については、Wikipedia:翻訳のガイドライン#要約欄への記入を参照ください。 翻訳後、{{翻訳告知|en|Developmental psychology|…}}をノートに追加することもできます。 Wikipedia:翻訳のガイドラインに、より詳細な翻訳の手順・
エリク・H・エリクソン - Wikipedia
エリク・ホーンブルガー・エリクソン（英語: Erik Homburger Erikson, 1902年6月15日 - 1994年5月12日）は、アメリカ合衆国の発達心理学者で、精神分析家[1]。「アイデンティティ」の概念、エリクソンの心理社会的発達理論を提唱し、米国で最も影響力のあった精神分析家の一人とされる[1]。 ドイツ帝国のフランクフルトに生まれる[1]。母のカーラ・アブラハムセン（Karla Abrahamsen）はユダヤ系デンマーク人で、生後3年間はカーラと共にフランクフルトで過ごす。父親は定かではない。デンマーク人の芸術家だったのではないかと言われているが、カーラは最期まで息子にその父の名を明かさなかった。1905年にエリクソンの主治医も務めていた小児科医のテオドール・ホーンブルガーとカーラが結婚し、家族はフランクフルトからカールスルーエに引っ越す。なおミドルネームのホーンブル
String Advanced Lectures at KEK
This page is no longer updated. Please visit group page: KEK Theory Center To open PPTX file (PowerPoint 2007) on PowerPoint 2003 (in Japanese) [Website] [Past seminars (0th-49th)]
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
https://kincha.kek.jp/kincha035_tasaki.pdf
Jump
Microsoft PowerPoint - KEK2010.pptx
重力と宇宙 新しい時空の量子論
Reviving Gravity's Aether in Einstein's Universe
SPIRES-HEP: FIND KEY 8131899
Quantum Gravity at a Lifshitz Point
弦理論と Schwarzschild BH