二級河川・勝浦川の主要河川である八多川の支流であり、水源は中津峰山（徳島市多家良町金谷）にある。この金谷川流域は東山渓県立自然公園に指定されている。
2018年2月2日にミネソタ・ツインズとマイナー契約を結んだ。シーズンでは傘下のAA級チャタヌーガ・ルックアウツとAAA級ロチェスター・レッドウイングスでプレーし、2球団合計で38試合に登板して1勝5敗6セーブ、防御率3.60、86奪三振を記録した。2019年はスプリングトレーニングではマイナーだったが、開幕直前の3月27日にメジャー契約を結んでアクティブ・ロースター入りした。なお、この日は30歳の誕生日でもあった。3月31日のクリーブランド・インディアンス戦でメジャーデビュー。
2015年12月11日、ホセ・ラミレスとのトレードでの後日発表選手としてシアトル・マリナーズへ移籍した。2016年は傘下のAA級ジャクソン・ジェネラルズでプレーし、42試合に登板して4勝5敗6セーブ、防御率2.51、95奪三振を記録した。2017年はAA級アーカンソー・トラベラーズとAAA級タコマ・レイニアーズでプレーし、2球団合計で41試合に登板して4勝2敗3セーブ、防御率3.35、55奪三振を記録した。オフの11月6日にFAとなった。
2011年のMLBドラフト37巡目（全体1136位）でアトランタ・ブレーブスから指名され、プロ入り。契約後、傘下のルーキー級ガルフ・コーストリーグ・ブレーブスでプロデビュー。アパラチアンリーグのルーキー級ダンビル・ブレーブスでもプレーし、2球団合計で17試合に登板して3勝0敗3セーブ、防御率0.59、37奪三振を記録した。2012年はA級ローム・ブレーブスとA+級リンチバーグ・ヒルキャッツでプレーし、2球団合計で42試合に登板して2勝3敗5セーブ、防御率2.73、90奪三振を記録した。2013年はAA級ミシシッピ・ブレーブスでプレーし、41試合に登板して6勝3敗11セーブ、防御率1.79、54奪三振を記録した。2014年もAA級ミシシッピでプレーし、48試合に登板して9勝5敗1セーブ、防御率2.58、93奪三振を記録した。オフにはアリゾナ・フォールリーグに参加し、ピオリア・ハベリーナズに所属した。2015年はA級ロームとAA級ミシシッピでプレーし、2球団合計で24試合に登板して0勝1敗、防御率2.04、43奪三振を記録した。
藩政時代、陸奥国閉伊郡横田村から土淵を経て、界木峠を越え、赤柴・和山・初神・上台・芳形と難所を通り種戸峠を小槌村の札場にでて、閉伊郡大槌村の大槌代官所に向かう街道。
ヘンキンはブルックリンでユダヤ系ロシア移民の家庭に生まれた。哲学と数学の学士号と修士号をコロンビア大学で取得。プリンストン大学のアロンゾ・チャーチのもとで博士号を取り、カリフォルニア大学バークレー校にポストを得た。タルスキと共同で仕事をしたこともある。
ゲーデルが1929年に初めて述語論理の完全性を証明したが（→ゲーデルの完全性定理）、ヘンキンは1949年にもっと簡潔な方法を発表した。この方法は初等クラスや入門書ではスタンダードな方法になっている。ヘンキンはもともとチャーチの高階述語論理の完全性を証明したが、同じ方法が述語論理にも応用できることに気づいた。
レオン・ヘンキン（Leon Henkin、1921年4月19日 – 2006年11月1日）はアメリカ合衆国の数学者、論理学者。カリフォルニア大学バークレー校数学科教授。「ヘンキン版一階述語論理の意味論的完全性の証明」で知られる。
可視光通信の実証を目的として開発された。愛称は全国より4038点の中から選ばれた。JAXAのH-IIA23号機の相乗り衛星に選ばれ、2014年2月27日に打ち上げられた。地上から衛星上の可視光線の点滅が確認された。
DM1x(DM-1xCC)シリーズは、SwissMicros GmbHが2012年より製造販売しているHP-10Cシリーズの本質的な機能を再現したクローン電卓である。すなわち、DM10(DM-10CC)、DM11(DM-11CC)、DM12(DM-12CC)、DM15(DM-15CC)及びDM16(DM-16CC)の機能は、それぞれHP-10C、HP-11C、HP-12C、HP-15C及びHP-16Cと同様である。大きさはクレジットカードサイズに凝縮されており、キータッチはオリジナルのHP-10Cシリーズに劣るがコンパクトさでは優る。クロックの初期値は48MHzであるが12MHzに変更することが可能であり、処理速度とバッテリーのランニング時間のどちらを優先するかを選択することができる。また、筐体を大きくしHP-10Cシリーズの大きさに近づけた電卓、DM11L、DM12L、DM15L及びDM16Lを2015年より販売開始した。DM-1xシリーズは同じハードウェアを使用しており、キーボードとファームウェアが異なっている。インターフェースとしてUSBミニ端子が用意されており、接続したパソコンを通してファームウェアを更新することが可能となっている。DM15(DM-15CC)には利用可能なレジスタ数を増加させたM80及びM1Bというファームウェアが用意されている（標準のファームウェアはMC0）。これら DM-15 M80 及び DM-15 M1B の機能はレジスタ数とプログラム行数を除いてDM-15と同様である。なお、C0、80、1Bという16進数は、レジスタを構成するメモリの開始位置のアドレスである。尚、利用可能なレジスタ数を増加させたファームウェアは、行列の大きさについて、8行8列までという制限がある。