L = 530mm (推進スクリューのハブ先端まで) (20-7/8in)水面下を走行する魚雷を直進させるため、ベベルギアを使って同軸反転2重4枚羽根スクリューを駆動する。尾部区画は、垂直安定板と水平安定板を十字型に備えている。それぞれの安定板（フィン）はその後方に舵をもっている。水平安定板と水平舵は魚雷の長軸方向の幅が比較的広く、操舵は比例動作であった。他方、垂直縦安定板は比較的小さく、縦舵は安定版の後縁全体にわたるが、そのスパンは極めて狭い。縦舵の操舵は、右一杯／中立／左一杯の3状態をそれぞれ所定時間継続させる積分動作であった。
安定舵（すなわちロール・ラダー）は魚雷の両舷外側に付いていて、修正操舵によって、魚雷の長軸周りの傾きとは反対回りの回転モーメントを生み出す。両ラダーは 8cm 角の小さな四角い金属翼である。左右両側の安定舵は、空中でも十分な操舵力を得るために、着脱式の木製空中安定翼で覆われていた。安定翼は、魚雷が水面に突入したときの強い衝撃で壊れ去るようになっていた。安定翼は、大きさ 12cm × 20cm (4-3/4in × 7-7/8in) で、左右両端が3本ずつのアルミ製シェアリングピンで留められた。残る本来の金属製安定舵は、水中駛走中にも操舵されて、水中突入時に発生した回転運動を減衰させた。
L = 1,002mm (39-1/2in)1本のドライブシャフトが尾部区画に向かって貫通している。この後部浮室（フロート）区画には、機械オイルタンク、縦舵操舵器、安定器、そして左右両側に安定舵（ロール・ラダー）がついている。機械オイルタンクは、後部浮室の中央に配置されている。縦舵操舵器（縦舵コントローラ）は一般的なジャイロスコープによる操舵システムであって、縦舵を操舵して魚雷の長軸をジャイロが検出する方向にまっすぐに進める。このジャイロスコープは魚雷が航空機から投下されるときに回転を開始する。ジャイロは2重リングで自由に動くように支持されている。
L = 733mm (28-7/8in)前部浮室（フロート部）には、真水タンク、燃料石油タンク、深度計がある。深度計は、この区画の内部底面に配置され、水中深度を検出する。水深の変位レベルを検出して尾部の水平舵（昇降舵）を比例動作させ、その結果、魚雷は水中で水平走行を保つ。
L = 1,068mm (42-1/8in)気室は薄い殻の円筒で、ニッケルクロムモリブデン鋼でできている。この強靭な合金鋼は、もともと戦艦の装甲板用に開発された。気室には圧力 175〜215 気圧 (2,500〜3,000psi) の圧縮通常空気が充填され、この空気で石油燃料を燃焼して駆動力を発生する。水中を 2,000m 走行する間に、圧力は約 50 気圧 (710psi) に減る。日本製の魚雷の気室は、円筒状の金属柱の内部を削り出して気室に加工していた。したがって、気室が魚雷の全部品の中で最高価格の部品であった。欧米では、気室は金属板を円筒状に溶接加工していた。
安定器によって、九一式航空魚雷はさらに重い頭部を搭載することが可能になった。初期の九一式頭部と九一式頭部改1はそれぞれ、炸裂火薬量 149.5kg（頭部重量 213.5kg）を搭載しただけだったが、改2では炸裂火薬量 204kg（頭部重量 276kg）を搭載した。頭部改7は双発機搭載用で、炸裂火薬量 420kg（頭部重量 526kg）を搭載した。これらは、第2次大戦中に米海軍軍艦が防御装甲をどんどん強化してきたので、その装甲を貫通するように設計された。
「第2射法」と呼ばれた方法は、浅い軍港において、予想される猛烈な対空砲火の中を、速度 100 ノット (185km/h)、高度 10m で行う雷撃だった。当時最新型の中島九七式艦上攻撃機では、この速度で飛行するのは難しく、脚とフラップを下ろして空気抵抗を増やして飛行しなければならなかった。雷撃隊の搭乗員たちは、水深 10m という浅い鹿児島湾で1941年8月終盤まで、この射法の訓練をしたものの、この射法では雷撃成功には確信がもてなかった。
九一式魚雷は1932年（皇紀2592年）12月1日付内令兵第七十二号により兵器採用されたが、この時から真に実用可能な航空魚雷にたどり着くまでの試行錯誤が続いた。
TRAPPIST-1hの表面温度は168K(-105℃)とされている。TRAPPIST-1のハビタブルゾーンの外側を公転しているため、表面は氷で覆われている可能性がある。但し、中心核の過活動、もしくは、主星であるTRAPPIST-1と内側を回る6つの惑星との潮汐力のどちらかに因って起きる内部の熱が表層上にまで出現し、更にその熱によって氷が解けた結果、発生した気体に水素分子(H₂)が大量に含まれている場合はその限りではなく、大気及び液体の水が存在する可能性がある。
エルブランの定理は自動定理証明の理論的基盤となった。さらにエルブランの定理を計算機上で直接応用する試みが行われ、ギルモアのアルゴリズム(1960)やデービス・パトナムのアルゴリズム(1958,1960)が考案された。これらはエルブランの定理の証明を直接計算機上で実行するようなやり方だったため、多数の不要な基礎例の生成が行われ、効率的ではなかった。1965年にJ. Robinsonは単一化に基づく導出原理を発表した。導出原理ではただ1つの推論規則  を用い、エルブランの定理により証明したい論理式の否定から空節が導かれること（反駁）により証明を行う。推論の過程で多数の基礎例の生成を行うのではなく単一化により必要な基礎例のみを段階的に具体化していくことで、導出原理では効率的な推論が可能になり、その後の定理証明やPrologなどの論理プログラミング言語に大きな影響を与えた。