死の島
死の島（しのしま）
木村祥刀
個々の停止確率は正規かつ超越的な実数であり、計算不可能である。つまりその各桁を列挙するアルゴリズムは存在しない。
背景.
停止確率の定義は「接頭属性のある完備計算可能関数」の存在に依存している。そのような関数は直観的には、どの妥当なプログラムも他の妥当なプログラムの適当な拡張として得られないという属性を持つプログラミング言語で表される。
停止確率の定義.
数論の未解決問題への応用.
確率としての解釈.
は次の集合の測度を表す。
属性.
停止確率の計算不可能性.
停止確率の不完全性定理.
スーパーオメガ.
出自.
生涯.
エフレム (キエフと全ルーシの府主教)
経歴.
府主教であると同時に、の称号を持つビザンツの元老院議員でもあった。このことは、現存する彼の公印からわかる。
オメガ数
ラモラック
ある時、彼はアーサー王に敵対する邪悪な騎士たちの城を訪れ、大勢の強者を次々と倒していった。ラモラック卿は赤い盾の騎士として喝采を浴び、アーサー王の信任を得る。名実ともに高名な騎士として名をあげていくラモラック卿であったが、ガウェイン卿らにとっては面白くない存在であり、後に敵対してしまう。
初期はトリスタン卿とは仲が悪かった。というのも、ある槍試合の際、すでに何十人もの相手と戦い疲労していたラモラック卿と戦うのは騎士道に反すると考えたトリスタン卿が、ラモラック卿との対戦を拒否したためである。これを自身に対する侮辱と考えたラモラック卿はトリスタン卿の愛するイゾルデ王妃の不貞を暴くため、「不貞をしている者が飲むと飲み物がこぼれる魔法の杯」をアイルランドに送りつけ、トリスタン卿の怒りに触れる。しかし、トリスタン卿と戦ううちにお互いの武芸に感心し、以後は友人となる。なお、また槍試合ですでに疲労していたラモラック卿と戦うのを拒否したランスロット卿とも同様の諍いをおこしているが、和解後は友人となっている。
シースタイル
SSCノースアメリカ
概要.
SSC Asia.
ララポート柏の葉
バルチック (客船)
バルチック（'）は、ホワイト・スター・ラインが所有していた客船（オーシャン・ライナー）である。バルティックと表記されることもある。
概要.
ホーランド・アメリカ・ラインへ移籍後.
猟官
ダブリン (戦列艦・初代)
EPA通信