肥前佐賀藩に生まれる。明治元年（1868年）、会津戦争で仁和寺宮嘉彰親王の副参謀となる。明治2年2月22日（1869年4月3日）から同年7月27日（9月3日）まで新潟県知事を務めた。その後、大学少丞、同大丞、大史、司法少判事、制度御用兼勤、司法中判事などを経て、明治4年5月11日（1871年6月28日）、明法権頭になる。その後、司法大丞、司法大検事を兼任し、江藤新平や箕作麟祥らとともに民法会議に出席し旧民法の編纂に従事した。その後、司法省三等出仕、兼明法頭、法制課長、左院御用掛などを歴任。1876年（明治9年）4月8日より1884年（明治17年）4月30日まで元老院議官を務める。この間、訴訟法取調委員、民法編纂委員などを務め、1881年（明治14年）7月27日、登記法取調掛委員長に就任。明治39年（1906年）、死去。享年76。
楠田 英世（くすだ ひでよ、文政13年11月19日（1831年1月2日） - 明治39年（1906年）10月22日）は、日本の武士、官僚。第一次新潟県知事、元老院議官、男爵。通称は十佐衛門、十助。
1987年10月8日に創業する。「ニッポンを若くする」として、頭皮ケアシャンプー「スカルプD」、女性まつ毛美容液の「スカルプDボーテ　ピュアフリーアイラッシュ」、食事によるエイジングケアを目指した「フレッシュデリ」などの商品を開発・販売している。2015年8月1日から、「予防医学」を目指してキャッチコピーを「予防医学のアンファー」に改め、企業CMにビートたけしを起用する。
1962年6月30日、東京都に生まれる。1982年東京都立淵江高等学校卒業。1983年、今井通子が率いるエベレスト冬季北壁登山隊に参加、このときは荷担ぎ隊であったが、1985年、アタック隊として再度同隊に参加、同隊は12月中旬に8,450mまで到達した。1984年頃からヨーロッパアルプスでの山岳ガイドをはじめ、1998年10月に登山ツアーの企画会社であるアドベンチャーガイズを設立。2000年よりヒマラヤやセブンサミッツなどの高所登山を手掛け、2004年に日本初のエベレスト公募登山隊を組織するなど、国内外の多くの登山ツアーを企画運営。2006年には当時最高齢登山者となった70歳の男性をエベレスト山頂に導いた。エベレスト7回を含め8000ｍの遠征登山は15回以上、マッターホルンには60回以上、アイガーには25回以上のガイド登山をしている。2013年3月7日コジオスコ(2,228m)にガイドとして登頂し、七大陸最高峰登頂をガイドとして達成した。商業登山を専門としており、バリエーションルートの開拓や未踏峰への挑戦等は行っていない。株式会社アドベンチャーガイズ代表取締役、国際山岳ガイド連盟公認ガイド、日本山岳ガイド協会国際委員長、日本山岳会会員。
有限モデル理論（英: Finite model theory）とは、モデル理論の一種であり、一階述語論理などの論理言語を有限構造（有限群、グラフ、データベース、多くの計算模型など）に適用したときの属性に着目した理論である。論理言語と計算の関係に特に注目し、離散数学や計算複雑性理論やデータベース理論とも密接に関連する。一階述語論理と古典モデル理論の重要な成果の多くは、有限構造に制限されると成り立たない。例えば、コンパクト性定理、クレイグの補間定理、レーヴェンハイム-スコーレムの定理、ゲーデルの完全性定理などである。このような文脈では、一階述語論理の表現能力が十分とは言えない点が根本的な問題である。このため、一階述語論理に推移閉包や最小不動点の作用素を追加したり、二階述語論理の一部を使ったりして、有限構造での属性を表現できる新たな論理体系を構築する。有限モデル理論の一分野として重要な理論に記述計算量がある。これは、様々な抽象機械の能力と論理言語の表現能力を結びつけるものである。ある言語が一階述語論理に最小不動点作用素を追加したもので表せる場合、チューリングマシンにある文字列を与えたとき、その文字列がその言語に属するかどうかを判定するには多項式時間を要する（P）。記述計算量の考え方によって、計算複雑性理論と数理論理学の成果の交流が可能となり、標準的な複雑性クラスが「自然」なものであるという証拠も与える。Neil Immerman は、「数理論理学の歴史の中でも、有限構造に関する研究が最も興味深く…さらに言えば、コンピュータ上のオブジェクトは常に有限である。計算の研究には、有限構造の理論が必要である」と述べている。また、有限モデル理論の重要な帰結の一つに、対象 x の性質 P(x) はほとんどの対象において当てはまるものであるか、ほとんどの対象において当てはまらないものであるかに分類されるという法則(Zero-One Law)がある。たとえば、サイズが n 以下のグラフの性質について考えるとき、対象が連結グラフである確率は n が無限大に近づくにつれて 1 に近づく。逆に、対象が孤立点を含んでいる確率は 0 に近づく。Zero-One Lawは、多項式時間でチェック可能な任意のグラフの性質について、性質を満たす対象の比率が 1 か 0 のどちらかに近づいていくことを主張する。この法則は、大規模な有限構造についての乱択アルゴリズムに影響を及ぼす。有限モデル理論では、論理の有限な制限についても研究する。例えば、変項数を k 個に制限された一階述語論理などである。