ロンドンデリーはアイルランドで唯一城壁が完全に残っている都市であり、ヨーロッパでも最も良好な城壁都市とされる。州最大かつ北アイルランドで保護されているモニュメントとなっていて、ヨーロッパで最後に建設された城壁都市として最も完全かつ壮大にそびえ立っている。城壁は17世紀初期にイングランドやスコットランドから移民してきた人々を防衛する目的でジ・オナラブル・ジ・アイリッシュ・ソサエティが1613年から1619年に掛けて建設、円周は約1マイル (1.6 km)、高さや幅は3.7 and 10.7 メートル (12 and 35 フィート)の範囲と異なっていて、完全に形は残っていて市中心部を回るように歩道が形成されている。また、ルネサンス様式の通路計画が今もなお維持されている初期の町のレイアウトが見られる独自の遊歩道もある。門は初期にビショップス・ゲート、フェリーキー・ゲート、ブッチャー・ゲート、シップキー・ゲートの4つが設けられ、後にマガジン・ゲート、キャッスル・ゲート、ニュー・ゲートが建設されたため、合わせて7つ設けられている。城壁内にある歴史的建造物には1633年に建てられたゴシック建築の聖コロンブス大聖堂、徒弟少年団メモリアルホール、そして裁判所がある。ヨーロッパにおいて城壁が破られたことがない数少ない都市であり、1689年に起きた105日間の包囲など数回の包囲戦にも耐えたことからメイデン・シティという別名も付けられている。
燃料としてギ酸を使用する複数の形式があり、改質器で改質して水素を抽出して従来の燃料電池で使用する形式と蟻酸と酸素の反応で発電する直接形燃料電池(DFAFC)の形式がある。蟻酸を改質せずに直接利用する場合では同種の構造を有する直接メタノール燃料電池(DMFC)と比較して燃料の蟻酸はメタノールよりも分子が小さく、接触改質が不要で、直接メタノール燃料電池では問題となるプロトン交換膜を透過して空気極に達するクロスオーバー現象が無いので電圧が降下しにくい特徴を有する。長年、蟻酸は従来の燃料電池で使用される白金触媒では活性化に余分なエネルギーが消費されるため、直接変換型燃料電池の燃料として実用化には不適だとされていたが、近年、白金の代わりにパラジウムを触媒として使用したところ、良好な結果が得られたことから、実用化に向けて前進した経緯がある。実用化へ向けて開発が進められる。
正規分布に従う擬似乱数の生成法としては、ボックス＝ミュラー法などが知られる。正規分布の分位関数は解析的に求められないが、分位関数の多項式近似を用いた逆関数法でも十分に精度よく正規分布に従う擬似乱数を生成することができ、実際にR言語では正規分布に従う擬似乱数の生成に逆関数サンプリング法が使われている。計算が高速な手法としてはジッグラト法がある。
条件付き確率の定義 P(A, B) = P(B | A) P(A) を使い、単変量サンプリング問題に分割し、A → B と順番にサンプリングする方法もある。ただし、問題によっては、マルコフ連鎖モンテカルロ法などの他のサンプリング法を使用した方が良い場合もある。
確率密度関数を数値積分して累積分布関数の F(x) を求め、F(x) = u は F(x) - u = 0 の事なので求根アルゴリズム（ニュートン法など）で x を求めてサンプリングする方法もある。F(x) - u の導関数は P(x) なので、それを求根アルゴリズムでは使用できる。
逆関数サンプリング法では与えられた確率分布の累積分布関数とその逆関数を計算する必要がある。それらの関数の解析解が既知である場合は、単純なプログラムで与えられた分布に従う擬似乱数を生成することができる。しかしこれらを解析的に求めるのは困難な場合もある。
逆関数法（ぎゃくかんすうほう、英: inversion method, inverse transform method）とは、累積分布関数の逆関数を用いて、標準一様分布に従う確率変数から、所望の分布に従う確率変数を生成させる方法。逆関数サンプリング法（ぎゃくかんすうサンプリングほう、英: inverse transform sampling）とも呼ばれる。計算機シミュレーションにおいて、一様分布に従う乱数から、所望の乱数を生成させるのに用いられる。
真理（しんり、希: ἀλήθεια、拉: veritas、英: truth、仏: vérité、独: Wahrheit）は、確実な根拠によって本当であると認められたこと。ありのまま誤りなく認識されたことのあり方。真実とも。真理は、現実や事実と異なり、妨害・障害としての虚偽・誤謬を対義語としており、露わさ、明らかさ、隠れなさに重点がある。そのものありのままであり、あらわであり、その本質が覆われていない、という意義に関しては、哲学的には本質主義や同一性とも関わりが深い。西欧哲学において真理論は論理学や認識論においてとりわけ主題化される。真理論の歴史は、古代ギリシアに始まる。人間を尺度とする相対的なものの見方に反論する形で、永遠性・普遍性を有する真理の概念が生まれた。このような絶対性を内実とする真理概念は独断主義を生み、これに対する防衛・反抗が懐疑主義を生んだ。そのどちらにも陥らず、確実な知識の基礎付けを求めて近代の認識論が始まり、その後、真理の担い手が思惟・観念・判断、命題、「事物」（羅：res、レス）等のいずれであるか、について議論がなされてきた。現代論理学では真理の担い手は命題であるとされ、真と偽を合わせて真理値という。論理学で、「Pは○か○でないかのいずれかである（○であり、かつ○でない、ということはない）」という形をした文は○の内容に関係なく正しいので、これは「形式的真理」と呼ばれ、思惟と思惟自身の一致と定義される。このような形式的な形相についてではなく、質料について真理が語られるときは「実体的真理」という。判断について真理が語られるときを「認識論的真理」といい、存在について真理が語られるときを「存在論的真理」という。現代の真理概念は様々な形で修正を受け、相対的な傾向を強めている。論証する、つまり、言語による表現であることが真理に不可欠であり、哲学的にはロゴスとも関わりが深い。東洋には不言真如という概念もある。人間を自由にするものとしての真理が説かれることもある。キリスト教では「真理はあなたたちを自由にする（ヨハネ8章32節） 」と説かれている。仏教では、人間を苦しみから解放する真理をあらわす「法」が説かれる。