JAMSTECでは、1981年10月に「しんかい2000」を竣工させて、有人潜水調査船の運用に着手した。当時、JAMSTECには他に潜水調査船がなかったことから、仮に同船が自力浮上不能になる事故が生じた場合は、アメリカ海軍の3,000メートル級ROVであるCURV-IIIをC-5輸送機によって空輸展開し、救難活動を行うことが計画されていた。しかしアメリカ軍の協力を仰ぐ関係上、「しんかい2000」の船内生存可能時間内に救助できるかという点で疑義が呈されていた。このことから、JAMSTEC自身が保有・運用するROVとして開発されたのが本機である。無人潜水機としては、既に、1979年に200メートル級ROVの試作機としてJTV-1、1981年には製品化を前提にしたJTV-2の開発によって先鞭がつけられていた。また1982年からは500メートル級ROVとしてHORNET-500も開発されていた。これらの実績を踏まえて、開発は昭和57年度より着手され、模型試験などを経て、昭和59年度でビークル本体部が制作された。
アイオワ州立大学に進学し、チームの司令塔として活躍。平均15.4ポイント、6.1アシストを記録してオールビッグ12サードチームに選出された。大学での通算成績は1078ポイント、464アシスト、177スティール。アシストとスティール合計はアイオワ州立大学において歴代6位である。
ブラウワーは「AであるかAでないかが分からない場合もある」を説明する例として、「円周率の無限小数の中に0が100個続く部分があるかどうか分からない」というものをあげていた。あるとき、ブラウワーがこの話をしたとき、「しかし神なら100個続く部分があるかどうか分かるのでは？」という質問を受けたが、ブラウワーはそれに対し「残念ながら我々は神と交信する方法を知りません」と答えた。
これに類する主張は、カントールの集合論に対抗する形で、クロネッカーやポアンカレによってもなされていたが、最も明確に表明したのは、オランダの位相幾何学者、ブラウワーである。ブラウワーの立場に対してポアンカレらの立場は前直観主義と言われることがある。ブラウワーは、数学的概念とは数学者の精神の産物であり、その存在はその構成によって示されるべきだという立場から、無限集合において、背理法によって、非存在の矛盾から存在を示す証明を認めなかった。それ故、無限集合において「排中律」、すなわち、ある命題は真であるか偽であるかのどちらかであるという推論法則を捨てるべきだと主張し、ヒルベルトとの間に有名な論争を引き起こした。ヒルベルトの形式主義は、直接的にはブラウワーからの批判的主張に対し排中律を守り、数学の無矛盾性を示すためのものと考えることができる。ブラウワーの主張は、感覚的で分かりにくかったが、その後ハイティング等によって整備され、結果的には古典論理から排中律を除いた形で形式化されたものが今日、直観主義論理として受け入れられている。現代では直観主義論理は、数学の証明は全て構成的に為されなければならないという主張（数学的構成主義）と関連が深いと考えられている。直観主義論理に基づく数学によって得られる成果は、古典論理に基づく数学に比べて制限されたものにならざるを得ない。具体的には、ab = 0 から a = 0 または b = 0 を直接結論することはできない。なぜなら、直観主義においては、「a = 0 または b = 0」が証明できるというのは、「a = 0」が証明できるか、または「b = 0」が証明できることを意味するからである。また、ワイエルシュトラスによる実数体の任意の有界な部分集合は上限を持つという定理が証明できない。しかし、直観主義は単なる思想としてだけではなく、数学基礎論や計算機科学に様々な影響を与えている。
ウシ亜目における骨格上の共通の特徴としては、距骨上下端にある滑車状構造が互いに平行である点が挙げられる。その上で、ラクダ科などに見られるような、遠位の滑車に隆起線が存在しないということである。また、頭部に角を持つ系統が多数見られるが、各系統でその形態は異なっている。シカ科はアントラーと呼ばれる骨質の枝角を持つ。この角は、一年ごとに生え変わっている。またキリン科は隆起した骨を皮膚が覆う、オッシコーンと呼ばれる形態の角を持つ。ウシ科の角は、骨質の突起を角質の鞘が覆う、洞角と呼ばれる形態の角である。この角は枝分かれせず、生え変わることは無い。プロングホーン科の角は、骨質の芯の上に枝分かれした角質の鞘を持つ、独特の形態である。この鞘は、シカ科の角と同じく毎年生え変わる。軟組織における特徴としては、反芻を行うことが挙げられる。反芻胃または複胃と呼ばれる通常4つに分化した胃を持ち、反芻を行うことによって、消化しにくい植物の繊維成分を消化吸収している。この4つに分割された胃の空間のうち、前3つは「前胃」、残り1つは「後胃」と呼ばれる。口から入った植物塊を発酵タンクである前胃内部の微生物に食べさせてこれを培養、他の動物と同等の機能を持つ後胃において、この微生物を殺し、分解している。つまり、実質的に栄養源となっているのは植物質ではなく、原生動物や細菌類などである。こうした消化システムは、盲腸や結腸で発酵を行うことに比べていくつかの点でメリットがある。1つは、吐き戻しを行うことで食物繊維の破砕を効率的に行えるということ。2つ目は、発酵タンクを兼ねる胃の容積が大きいため、食物を大量に溜め込むことが可能であるということ。3つ目は、肛門までの距離が長いため、時間をかけて発酵、効率的に栄養を吸収することが可能であるということ。4つ目は、以上の理由により、採餌の時間が限定されず、捕食者から逃れやすくなるということである。これにより、彼らはイノシシ亜目やウマ目などの非反芻獣に対して優位に立っている。