人物.
柔道や相撲を経験し、大学時代は学生プロレスで活躍した。リングネームは「ちんことみつき」。
内的集合
数理論理学、特にモデル理論および超準解析における内的集合（ないてきしゅうごう、）は、何らかの（集合論的）モデルの要素となる集合を言う。
内的集合の概念は、（実数全体の成す集合 の性質と超実数と呼ばれるより大きな体 の持つ性質との間の論理的な関係を取りなす）を定式化する際の道具となる。超実体 は、特に無限小数を含み、無限小を用いた議論を数学的に厳密に正当化することができる。厳密さをさておけば、移行原理とは「数理論理学的に適当な言語で言い表された 上の解析学は、同様に に対しても適用できる」ことを指摘するものである。集合論的なレベルで言えば、そのような言語に関する命題が（任意の集合ではなく）内的集合に対してのみ解釈されるということが、その適用を可能とする理由である（ここでは「言語」という用語をややいい加減な意味で用いていることを断っておく）。
超冪構成における内的集合.
実数列 の同値類として超実数を定める超冪構成に関連して、 の内的部分集合 は実数からなる部分集合列 によって定義される。ここに、超実数 が集合 に属するには、 を満たす添字 全体の成す集合が の構成において用いた超フィルターに含まれることが必要十分である。
などが言える。
実数体の内的部分集合.
 の任意の内的部分集合は「有限」でなければならない。換言すれば、超実数体の任意の内的無限部分集合は超準的な元を含まなければならない。その簡単な帰結として、次の集合は外的である：
韓国学中央研究院
概要.