教育行政（きょういくぎょうせい）とは、国または地方公共団体が、立法機関によって成文化された教育政策、すなわち教育に関する法令を実現化する作用又は行為のことをいう。具体的には、国家の体制及び教育への関与の方法によって異なる。
述語論理式 P が恒真であるかを証明する一般的な手続きは存在しないが、1930年に発表されたエルブランの定理はエルブラン領域の要素を論理式に代入して命題論理のレベルに落としその充足不能性を調べることで、¬P が充足不能（恒偽）であれば有限のステップで証明できることを保証している。また、エルブランの論文には単一化アルゴリズムなど他の様々なものが含まれていた。1950年代以降、計算機上での定理証明の研究が活発になり、ギルモアのアルゴリズム(1960)やデービス・パトナムのアルゴリズム(1958,1960) が考案された。デービス・パトナムのアルゴリズムには連言標準形の使用や導出規則の考え方が含まれていた。しかし、これらはエルブランの定理の証明を直接計算機上で実現したような方法で、エルブラン領域の要素を順次生成して変数を含まない論理式(基礎例)を作成し命題論理のレベルで充足不能性を調べるものだったため、不要な論理式が多数生成され、非常に効率が悪かった。プラウィツ（Dag Prawitz）は、論理式を生成してからチェックするのではなく、選言標準形に変換した論理式への適当な代入（単一化）によって充足不能性を調べる方法を1960年に提案した。この方法は必要な基礎例のみを生成するため、不要な論理式の生成が抑えられ効率的だったが、選言標準形は全ての連言項を調べなければならないため全体の効率はいいとは言えなかった。ロビンソンはデービス・パトナムの枠組みにプラウィツのアイデアを組み合わせ、ただ1つの導出規則と単一化による代入操作とで充足不能性を調べる導出原理を1965年に発表した。単純な規則で関係する論理式のみを段階的に具体化していく方法は、従来の方法よりはるかに効率がよく、また理論的なエレガントさを持っていたため、その後の定理自動証明に大きな影響を与えた。
導出原理（どうしゅつげんり、英: resolution principle）とは、ジョン・アラン・ロビンソンにより1965年に提案された原理または手法を言う。導出原理を元とする導出の手法は、その後の定理自動証明に大きな影響を与え、またPrologなどの論理プログラミング言語の基礎となった。
名古屋市名東区南部に位置する。東は新宿二丁目、西は牧の原一丁目・牧の原二丁目、南は猪高町大字高針、北は高針一丁目・高針二丁目に接する。
国際数学連合（こくさいすうがくれんごう）は、数学分野での国際的な協力を行う非政府組織である。国際科学会議の構成機関の一つである。国際数学連合は4年に1度、国際数学者会議 (ICM) を主催し、数学のノーベル賞とも呼ばれるフィールズ賞を発表している。65ヶ国の数学に関わる組織から構成される。
2016年1月19日、世界男性最高齢の人物であった小出保太郎が死去したため、吉田が存命する日本男性最高齢の人物及び世界の男性で2番目の長寿の人物となった。同年2月の時点で、トイレも介助無しで行くことが出来る在宅生活を送っていると報告されていた。同年10月29日に老衰のため112歳と152日で死去し、日本男性最高齢者は北海道足寄郡足寄町在住の野中正造（1905年7月25日生）となった（厚生労働省発表）ことが同年12月15日に報じられた。
グリーンバウムは、自作曲「スピリット・イン・ザ・スカイ」によって最もよく知られている。「重たい (heavy)」ギターの音、ハンドクラッピング、霊的（スピリチュアル）な歌詞が組み合わされたこの曲は、1969年にワーナー・ブラザース・レコードからリリースされた。シングルは、1969年から1970年にかけて200万枚を売り上げ、アメリカレコード協会 (RIAA) からゴールドディスクに認定された。その後は、様々な映画や広告、テレビ番組などで使用された。「スピリット・イン・ザ・スカイ」の歌詞のテーマは明らかにキリスト教的であるが、当時も、その後も、グリーンバウムは厳格なユダヤ教徒であり続けた。インタビューの中で、グリーンバウムは「スピリット・イン・ザ・スカイ」の着想を得たのは、本当は西部劇映画だったと述べている。ノーマン・グリーンバウム：「スピリット・イン・ザ・スカイ」が何を踏まえているかって、... 僕らは何を見ながら育った? 西部劇だろ! つまり、ひどい悪漢たちが撃たれて、ブーツを履いたまま死にたいと願うような。僕にとっては、それが霊的（スピリチュアル）だった、ブーツを履いたまま死にたいと願うってことが。レイ・サンチョ：それがきっかけで、あの曲を書いたんですか?ノーマン・グリーンバウム：そう。曲自体は単純だよ、もちろん曲作りは単純で通さなきゃね。キリスト教的な賛美の歌というわけじゃなくて、単純な歌ってことさ。キリスト教を使ったのは、何かを使わなきゃならなかっただけさ。「ジーザス」がどうのってところより、「スピリット・イン・ザ・スカイ（空中の精霊）」ってとこが大事なんだ。変だろう ... 僕もブーツを履いたまま死にたいと思ってたんだ。グリーンバウムは、一般的には一発屋と見なされているが、ドクター・ウェスツ・メディシン・ショウ・アンド・ジャンク・バンド名義で録音した「The Eggplant That Ate Chicago」など、1966年には数曲のレコードがチャート入りを果たしていた。1960年代にはまた、ブルーノ・ウルフ・ウィズ・ザ・ジム・クウェスキン・ジャグ・バンド (Bruno Wolf with the Jim Kweskin Jug Band) という名義でも活動していた。