健康科学部（けんこうかがくぶ、英称：The Faculty of Health Sciences / The School of Health Sciences / The Department of Health Sciences）は、健康科学の教育研究を目的として設置される学部。日本では1995年に私立の東海大学、中京女子大学、兵庫大学が、1999年に公立の青森県立保健大学が、それぞれ初めて設置した。
パターンガードとは、ガード内でパターンマッチングを行うこと（あるいはそのようなガード）である。この定義は Haskell についてサイモン・ペイトン・ジョーンズが A new view of guards として1997年4月に提案し、その後実装されている。Haskell での例を示す。 clunky env var1 var2   | Just val1 <- lookup env var1   , Just val2 <- lookup env var2   = val1 + val2 ...other equations for clunky...ここで、"<-" はパターンガード修飾子と呼ばれ、右辺を評価した結果を左辺とパターンマッチする。リスト内包表記のようにパターンガードを並べることができ、いずれかがパターンマッチに失敗すれば、その分岐は実行されない。
ガードのような機能を持つ言語として、Haskell、Clean、Erlang、occam、OCamlといったプログラミング言語や多くの並行論理プログラミング言語が挙げられる。Mathematicaではガードをconstraintと呼ぶ。形式手法の言語であるGuarded Command Language（詳細は歴史の節で後述）でも重要な構成要素である。
以下の Haskell のコード例で、"|" と "=" の間の部分がガードである。 f x   | x > 0     = 1   | otherwise = 0これは、以下のような、数学で使われる記法に似ている。この場合、ガードは "if"節と "otherwise"節にある。上記の例のように複数のガードがある場合、先頭から順に評価され、最初に真となった分岐が選択される。Haskell のリスト内包表記でのガード列は、1つでも偽であった場合にそのリスト要素が生成されない。これはつまり、個々のガードを論理積で結合したと見なすことができるが、リスト内包表記にはガード以外も列挙される。
ガード (Guard) とは、コンピュータ・プログラミング言語において、条件式ないし条件分岐のような意味を持つもので、ある分岐で処理を続けるために真 (true) と評価されなければならない式である。偽の場合は残りの処理のほうに進む。パターンマッチングのある言語の、パターンマッチングの能力をより強化したものと見ることもできる。すなわち、パターンマッチングとして構造がマッチしていても、その構造の中身の値を評価した結果によってはスキップさせることが可能なパターンのようなもの、である。
石川県出身。1910年（明治43年）、神戸商業高等学校（現在の神戸大学）を卒業し、翌年に外交官及領事官試験に合格した。上海に領事官補として赴任し、以後大使館三等書記官、領事・関東都督府事務官、外務事務官・帝都復興院書記官などを歴任し、その間、長春、南京、ニューヨーク、イギリスに勤務した。1924年（大正13年）より香港総領事、ハンブルク総領事を務め、1931年（昭和6年）からはトルコ大使館参事官となった。1933年（昭和8年）に駐ペルー公使に任命され、1935年（昭和10年）からは駐エクアドル公使を、1936年（昭和11年）からは駐ボリビア公使を兼ねた。
村上 義温（むらかみ よしあつ、1889年（明治22年）4月22日 - 1954年（昭和29年）10月20日）は、日本の外交官。駐ペルー公使。
トッテナム・ホットスパーFCのユース出身。トッテナムのトップチームにはジョージ・グラハム監督下の1999-2000シーズンにトップチームデビューを果たし、プレミアリーグで通算8試合に出場した。2001-02シーズンはトップチームでの出場機会は無く、オフに退団が決まった。ブライトン・アンド・ホーヴ・アルビオンFCに所属していた2004年に怪我の影響で25歳で現役を引退した。しかし、怪我が治ったのちにイーストボーン・タウンFCで現役復帰。2007年に再び怪我の影響で現役を引退した。引退後、イーストボーン・タウンでコーチに就任した。その後イースト・サセックスの学校で体育教師となり、そこでサッカーを教えている。
現在、一般に論理回路は二進法・二値論理を電子回路で実装したディジタル回路である（といったように良く言われるが、実のところ正確ではない。後述する）。これを、4値や8値にできれば、1本の信号線で、あるいはゲート1段でより多くの情報が扱えることから、高性能化の可能性として多値論理の導入が考えられる。そのため研究レベルでは盛んに研究されてはきたが、しかし現状では、バイナリのコンピュータが十分に高性能であるため、そのようなハードウェアを作るよりもバイナリのコンピュータでシミュレーションしたほうが速くて安い、という状況にある。しかし一部実用化されるものも出てきていて、たとえば、最近のMLC（Multi Level Cell）のNAND型フラッシュメモリがある。ファジィ論理は真理値集合を0以上1以下の実数の集合とする多値論理で、（研究レベルであるが）ファジィコンピュータと称する中には、これを直接実装しているものもある。なお「後述する」としたが、実際のコンピュータなどでは、電気信号としてHとLだけではなく、トライステートなどと呼ばれる「接続を断った状態」がある素子によるハイインピーダンスとよばれるもの（記号としてはZが使われることが多い）などがあり、複数の機器を接続するバスなどで多用されている。さらに設計の際には「どんな値でも良い」（don't care）という値（記号としてはundefなどの意味でUが使われることが多い）など、実際のところ「ある種の多値論理のようなもの」が、実際にはさかんに活用されている。またコンピュータシステムではしばしば、真理値として「真」と「偽」以外の値を含む系になっていることがある。