hotchpotch/wikipedia-multilingual-ir-pairs huggingface dataset:
超伝導 概要
金属は温度が下がると電気伝導性が上がり、逆に温度が上がると伝導性は減少する（純粋な金属の抵抗率は温度の3乗に比例する）。この原因は、温度の上昇に伴う格子振動の増大により、伝導電子がより散乱されるためである。この性質から、絶対零度に向けて純粋な金属の電気抵抗はゼロになることが昔から予想されていた。
このことを検証する過程で、1911年にヘイケ・カメルリング・オンネスによって超伝導が発見された。超伝導となる温度（臨界温度、Tc）は金属によって異なり、例えばニオブは9.22 K、アルミニウムは1.20 Kとなる。
特定の物質が超低温に冷やされた時に起こる現象は「超伝導現象」(英: superconductivity phenomenon)、超伝導現象が生じる物質のことは「超伝導物質」(英: superconductor)、超伝導物質が超伝導状態にある場合「超伝導体」と呼ばれる。
液体窒素の沸点である−196℃ (77 K) 以上で超伝導現象を起こすものは特に高温超伝導物質 (英: cuprate superconductor) と呼ばれる。
超伝導 概要
物質が超伝導状態になることは相転移の一種であり、超伝導相に移り変わる温度を、（超伝導）転移温度という。超伝導に転移する前の相は常伝導という。
超伝導体には電気抵抗がゼロになる他にも、物質内部から磁力線が排除されるマイスナー効果によって「磁気浮上」現象を起こす。この時、磁力線の強度への応答の違いから第一種超伝導体 (英: type-I superconductor) と第二種超伝導体 (英: type-II superconductor) とに分類される。第二種超伝導体では磁力線の内部侵入を部分的に許すことで高強度の磁力に対してマイスナー効果が発生する。第二種超伝導体では、ピン止め効果によりゼロ抵抗を維持している。
ゼロ抵抗ではあるが電流が無限量で流れるわけではなく上限値があり飽和電流と呼ばれる。超伝導電流は伝導体の内部ではなく表面を流れるという特性により、飽和電流は伝導体径の一乗にしか比例せず、伝導体径の二乗に比例して伝導体内部を流れる常伝導電流に比べ、径の1/4に半比例して減少する。よって同じ飽和電流を得るための伝導体線径は常電導よりも非常に太くなる。
超伝導 概要
これらの現象はいずれも、量子力学的効果によって起きていると考えられ、基本的機構はBCS理論によって説明される。ただし、高温超伝導体の引力機構に対しては、BCS理論の電子・格子振動相互作用だけでは説明がつかず物理学の未解決問題の一つである。
超伝導は、日常では扱わない低温でしか発生しない現象で、その冷却には高価な液体ヘリウムが必要なことから、社会での利用は特殊な用途に限られていた。
20世紀末にようやく上限温度（転移温度）が比較的高く安価な液体窒素で冷却できる高温超伝導体が相次いで発見されてから一般への認知も大きく進んだ。今後はさらに一般的な低温環境や室温で機能する実用的な超伝導体の発見が期待されている。
2019 年現在、超伝導の課題は｢高 Jc 基盤技術開発｣｢高性能長尺線材開発｣｢機器対応特殊性能向上技術開発｣である。
また、今後はさらに一般的な低温環境や室温で機能する実用的な超伝導体の発見が期待されている。
超伝導 歴史
1911年、オランダのヘイケ・カメルリング・オンネスによって「純度の高い金属が容易に得られる水銀を液体ヘリウムで冷却していったとき、温度4.20 Kで突然電気抵抗が下がり4.19 Kではほぼゼロの10万分の1Ω以下になる現象」が報告された。ヘリウムの液化と超伝導の発見によって1913年にノーベル物理学賞が授与された。
1933年にドイツのヴァルター・マイスナーによって超伝導体が外部磁場を退けるマイスナー効果が発見された。これにより、超伝導体は完全導体とは異なることが決定付けられた。1935年にロンドン兄弟（フリッツ・ロンドン、ハインツ・ロンドン）が発表したロンドン方程式により、マイスナー効果は理論的に説明された。
1950年ヴィタリー・ギンツブルグとレフ・ランダウが、上記ロンドン理論より一歩進んだ現象論であるギンツブルグ-ランダウ理論を発表した。この理論には、超伝導の程度を表すオーダーパラメータが使われた。
1953年に最高転移温度17 Kを示すニオブスズ (Nb3Sn) が発見された。これは結晶構造からA15型超伝導体とよばれた。
超伝導 歴史
1957年に発表されたジョン・バーディーン、レオン・クーパー、ジョン・ロバート・シュリーファーらのBCS理論により、超伝導現象の基本的な発現機構が解明された。
1980年代に発見された銅酸化物高温超伝導体や、21世紀になって見つかった二ホウ化マグネシウム (MgB2) 、2008年に報告された鉄系超伝導物質などを実用化する試みが続いている。
2020年10月14日には267GPaの高圧下ながら炭素質水素化硫黄(CH8S)が、287.7K（15℃）で超伝導状態になることをニューヨーク州ロチェスター大学のグループが発見、Nature紙で報告し、初の摂氏0℃を超える報告となった（高温超伝導を参照）。
より高い温度で超伝導を起こす物質を探すなど、最初の発見から100年以上経った2020年現在でも超伝導についての研究が盛んに行なわれている。
超伝導 特性・効果
完全導電性
電気抵抗がゼロとなるので、一度流れ始めた直流電流が電圧降下なしに永続するという効果。回路のすべてを超伝導体で構成すれば、流れ続ける電流によって永久電磁石となる。
マイスナー効果
マイスナー効果は完全反磁性とも呼ばれ、超伝導体内部が磁場を排除して内部磁場をゼロにする効果である。超伝導体を磁石上で常伝導状態から徐々に冷やしていったとき、転移温度を超えた瞬間に浮き上がる「磁気浮上」現象もこの効果によるものである。これは超伝導によって磁束の侵入が排除されたために、物体が浮き上がるものである。単に「超伝導体の上に磁石が浮く」というだけでは、永久電流による反発かマイスナー効果によるものかの判断はできない。
磁束の量子化
第二種超伝導体内部を通る磁束は  の整数倍のとびとびの値をとる（h はプランク定数、e は素電荷）（磁束#磁束の量子化を参照）。
ジョセフソン効果
絶縁体を間に挟んだ2つの超伝導体間を、電圧降下なしにトンネル電流が流れる。2つの超伝導体の間に挟まれた絶縁体には超伝導状態を表す波動関数の位相差に比例した電流が流れる。ミクロな波動関数という概念をマクロに観測できるため超伝導を象徴する現象である（ジョセフソン効果を参照のこと）。
磁束格子状態
超伝導 特性・効果
第二種超伝導体では、その超伝導体に固有の磁場値（下部臨界磁場）以上の磁場を印加した場合では量子化された磁束が超伝導体内部に侵入する。この状態は混合状態とも呼ばれる。磁束格子状態のときに磁束コア同士は互いに反発するため、多くの場合に最密構造、つまり三角格子を形成する（フラストレーションを参照）。ただし、フェルミ面の形状などによって四角格子を組む場合もあることが最近の研究から知られている。
ピン止め効果
磁束格子状態において、外部磁場の変化に対して磁束格子が追随して変化しない現象をピン止め、あるいはピン止め効果と呼ぶ。実用超伝導体において重要な現象。この現象がなければ実質的に超伝導体に電流が流せないため実用化ができなくなる。ひずみや不純物などの欠陥を多く含む非理想的な第二種超伝導体を貫く磁束は、これらの欠陥に引っかかり止められて動けない（ピン止め効果を参照のこと）。
臨界磁場の存在
一定以上の強度の磁場を加えることで超伝導状態は消失する。第二種超伝導体には、この意味での臨界磁場（上部臨界磁場 Hc2 と呼ぶ）と完全反磁性状態から磁束格子状態への転移を意味する下部臨界磁場 Hc1 が存在する（臨界磁場を参照のこと）。
比熱の異常
超伝導への相転移は二次の相転移であり、常伝導状態と超伝導状態の間には比熱の“とび”が存在する。
超伝導 特性・効果
クエンチ
超伝導電磁石において超伝導コイルの一部が超伝導状態から常伝導状態に戻ることを「クエンチ」(英: quench) と呼ぶ。これに続いて全面的な常伝導化が一気に進むので、電気的、磁気的、熱的、機械的に大きな変化が同時に起こる。
エネルギーギャップの存在
従来の超伝導体では、電子流体を個々の電子に分解することはできない。その代わりに、クーパー対と呼ばれる電子の結合した対で構成される。この対は、フォノン（格子振動）の交換による電子間の引力によって引き起こされる。この対は非常に弱く、小さな熱振動が結合を破壊する。量子力学により、このクーパー対流体のエネルギースペクトルはエネルギーギャップを持ち、流体を励起するために供給されなければならないエネルギーの最小量ΔEが存在することを意味する。したがって、ΔEがkT（kはボルツマン定数、Tは温度）で与えられる格子の熱エネルギーよりも大きければ、流体は格子によって散乱されることはない。
同位体効果
1950年、マクスウェルとレイノルズらは、超伝導体の臨界温度が構成元素の同位体質量に依存する同位体効果を発見した。
超伝導 伝導物質
超伝導現象の発見以降、超伝導を示す物質として多くの元素や化合物が発見されている。アルカリ金属、金、銀、銅などの電気伝導性の高い金属は超伝導にならない。単体の元素で最も超伝導転移温度が高いものは、ニオブの9.2 K（常圧下）である。常圧下において超伝導を示す金属は多いが、そうでない金属、あるいは非金属元素でも高圧下で金属化と同時に超伝導を示すものがある。また、重い電子系における超伝導や、高温超伝導、強磁性と超伝導が共存する物質など従来の超伝導物質と性格の異なるものも発見されている（高温超伝導を参照）。
一部の有機化合物には超伝導を示す。それらは有機超伝導体として分類される。
超伝導 利用例
超伝導現象は、超高感度の磁気測定装置 (SQUID) や医療用核磁気共鳴画像撮影 (MRI) 装置など、測定用に超伝導電磁石を使用する用途においては既に広く実用されている。しかし、これらの応用例でも冷却に高価な液体ヘリウムが用いられており、普及の大きな障害となっている。産業用途では実用化の技術開発が進んでいる超伝導モーターが最も期待されている。電力貯蔵の用途では瞬間停電を補償するために高い出力、短い応答速度が着目され、実用化されるに至っているが、現状では大電力を貯蔵するには至らずバッテリーなどよりコンデンサーに近い。また送電線については、生み出された電力のうちの数%は電気抵抗による送電ロスによるものとされており、室温超伝導が実現されれば、このロスを減らすことのできる画期的なテクノロジーとして期待されている。
以下に利用例を示す。
超伝導 その他
電気抵抗の測定
超伝導の電気抵抗計測は、測定器自体が抵抗となるために限界がある。そのため、超伝導体の閉回路が作る磁場の測定を行う。磁場が測定されている限り、この閉回路には永久電流が流れているということになるので「閉回路は超伝導状態である」といえる。
軟超伝導体
第一種超伝導体のこと。
硬超伝導体
第二種超伝導体のこと。
Scheme
Scheme（スキーム）はコンピュータ・プログラミング言語 LISPの方言のひとつで、静的スコープなどが特徴である。仕様（2017年現在、改7版まで存在する）を指すこともあれば、実装を指すこともある。Schemeにより、LISP方言に静的スコープが広められた。
Scheme 概要
Schemeは、MIT AIラボにて、ジェラルド・ジェイ・サスマンとガイ・スティール・ジュニアによって1975年頃に基本的な設計がなされた。動機は、カール・ヒューイットの提案によるエレガントな並行計算モデル「アクター」と、同じくその言語のPLASMA（Planner-73）を理解するためであった。
静的スコープ（ALGOL由来とされる）は、状態を持つデータであるアクタ（クロージャ）の実現以外にも、lambda 構文を用いたλ計算や末尾再帰の最適化に不可欠な機構であった。
また、プログラムの制御理論から当時出てきた継続及びアクタ理論におけるアクタへのメッセージ渡しの概念から触発された継続渡し形式と呼ばれるプログラミング手法は以後の継続の研究に大きな影響を与えた。
Scheme 歴史
MIT人工知能研究所においては以下のとおりLISPに始まるいくつかの言語が作られた。
この中でカール・ヒューイットが設計した規則ベースの言語 Planner はあまりに複雑な機構を持っていたため当初設計された全機能の実装は困難であり、サスマン等はそれをサブセット言語の Micro-Planner として実現し、さらには、 Planner の流れを汲んだ独自言語として Conniver を作成した。
同じくカール・ヒューイットが設計したアクタ言語 Plasma (Planner-73) も複雑な機構を持っていたため、MacLisp による実装が存在したものの、その動作の仕組みを理解するのは困難であった。サスマン及びガイ・スティール・ジュニアは Plasma を理解するために、不要な機能を省いた LISP 構文を持つ小さな Plasma を設計した。
Scheme 歴史
上記の Plasma からその小さな Plasma の設計に至る過程は Planner から Micro-Planner 及び Conniver へ至る過程を彷彿とさせるものであったため、その言語は Planner（計画する者）及び Conniver（策略を巡らす者）の次という意味で当初 Schemer（陰謀を企てる者）と名付けられた。しかし、当時のオペレーティングシステムのファイルシステムの制限からファイル名が6文字に切られたことから Scheme という名前が使われるようになった。
Scheme 機能
マッカーシーが1979年に回顧で、1960年の最初のLISP（LISP I）に関して「In modern terminology, lexical scoping was wanted, and dynamic scoping was obtained.」と書いているように、本来意図していた挙動は、静的スコープであった。動的スコープは、意図していたものではなかったため、FUNARG機構を導入して対処されたが、これは言語のスコープルールを静的にするのではなく、クロージャーを意図したように機能させるための部分的な修正であった。なお、動的スコープ自体は有用性が認められたため後のLispにも機能として残ることとなったが、これらの対処について、1962年の LISP 1.5 も1960年代後半の Maclisp もスコープの変数束縛に関しては色々と不完全だったとする意見もある。
ガイ・スティールは、1962年の LISP 1.5 からの変更点として最初に静的スコープの採用と実装を挙げており、サスマンが静的スコープを実装したALGOL 60に関して持っていた興味からによるもので、ALGOLの直接の影響だと述べている。
なお、Scheme開発のきっかけとなったPlasmaも挙動としてはレキシカルスコープといえるが、Plasmaからの影響についての記述はない。
Scheme 機能
funarg問題としてLISPの初期から既に認識され議論されていたことでもあり、ALGOLとの融合が試みられた1964年のLISP 2でも静的スコープが採用されていたりと、必ずしも1975年のSchemeから始まったとは言えないが、Scheme以後のLISP方言に静的スコープが広まったのはSchemeからの影響と言ってよく、殊にCommon Lispは特筆される。
Scheme はcall-with-current-continuation（略称：call/cc）と呼ばれるピーター・ランディンやジョン・レイノルズに始まる脱出オペレータの命令を提供する。
Scheme 言語仕様
Scheme の言語仕様はIEEEによって公式に定められ、その仕様は「Revisedn Report on the Algorithmic Language Scheme (RnRS)」と呼ばれている。2016年現在広く実装されているものは改訂第五版に当たるR5RS（1998年）である。
なお、2007年9月に「The Revised6 Report on the Algorithmic Language Scheme (R6RS)」が成立した。4部構成となり、R5RSに比べおよそ3倍の文章量となった。R5RSまでは小さな言語仕様に対してのこだわりが見られたが、Unicode サポート等の実用的な言語として必要な要素が盛り込まれている点が特徴的である。しかし、多くの機能が盛り込まれたにもかかわらず細部の練りこみが不十分であるといった批判もあり、非公式にR5RSを拡張する形でERR5RS (Extended R5RS Scheme) という規格を検討する党派も現れている。
Scheme 言語仕様
2009年8月、Scheme 言語運営委員会は、Scheme を大規模バージョンと、大規模バージョンのサブセットとなる小さな言語仕様のふたつの言語に分割することを推奨する意向を発表した。
2013年7月、「The Revised7 Report on the Algorithmic Language Scheme (R7RS)」 (small language) が成立した。
Scheme 実装
Scheme の仕様書はR5RSだと50ページにも満たないため、かなりの数の実装が存在する。
Scheme は言語機能を必要十分の最低限まで単純化することを目指した言語である。そのため仕様書が簡素な反面、実用に際して各種のライブラリが乱立し、移植性が問題になっていた。そこで実装間の統一をとるため、コミュニティ内の議論を集約しているのが「Scheme Requests for Implementation (SRFI)」である。SRFI ではライブラリ仕様、言語拡張仕様などがインデックス化されており、SRFI 準拠の実装系は「◯◯に準拠」といった形で利用者の便宜を図ることができる。
なお、Scheme では言語機能とライブラリ機能は分けて考えられているため、SRFI と Scheme 言語仕様のコミュニティは原則分離している。
Scheme 応用
Scheme はしばしば他のアプリケーションの拡張用言語として使われる。代表的なアプリケーションには以下のようなものがある。
より専門的な応用としては、映画ファイナルファンタジーのために3Dレンダリングエンジンに Scheme インタプリタを組み込んだ例や、リトルウイングのピンボールコンストラクションシステムの記述に Scheme を使った例がある。
Android 用の App Inventor では、Scheme コンパイラである Kawa を使ってJava仮想マシン用のバイトコードを生成している。
Scheme 出典
Scheme が発表された一連の論文は、ラムダ論文と呼ばれている。
ガイ・スティール・ジュニア (1977), Debunking the 'Expensive Procedure Call' Myth, or, Procedure Call Implementations Considered Harmful, or, Lambda: The Ultimate GOTO, http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-443.pdf
ジェラルド・サスマン、ガイ・スティール・ジュニア (1978), The Art of the Interpreter or, the Modularity Complex (Parts Zero, One, and Two), http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-453.pdf
Scheme 出典
ジェラルド・サスマン、ガイ・スティール・ジュニア (1979), Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode, http://repository.readscheme.org/ftp/papers/ai-lab-pubs/AIM-514.pdf
シド
シド (syd, sid, Šid, cid)とは、英語圏の男性名。
シドニーの愛称とされている。
エドガー・ダイクストラ
エドガー・ダイクストラ（エツハー・ウィベ・デイクストラ、Edsger Wybe Dijkstra,  オランダ語発音: [/ˈɛtsxər ˈwibə ˈdɛɪkstra/] 1930年5月11日 - 2002年8月6日）は、オランダ人の計算機科学者。1972年、プログラミング言語の基礎研究への貢献に対してチューリング賞を受賞。構造化プログラミングの提唱者。1984年から2002年に亡くなるまでテキサス大学オースティン校の計算機科学の Schlumberger Centennial Chair を務めた。
2002年の死の直前、プログラム計算の自己安定化についての仕事に対して ACM PODC Influential Paper Award を授与された。この賞は翌年からダイクストラを称えてダイクストラ賞と呼ばれるようになった。
エズガー・ダイクストラと表記されることもある。オランダ語での発音は、IPA表記で /ˈɛtsxər ˈwibə ˈdɛɪkstra/ で、エツハー・ウィベ・デイクストラに近い。
エドガー・ダイクストラ 生涯
ロッテルダム生まれ。ライデン大学で理論物理学を学んだが、コンピュータ科学の方に興味があることに気が付くのに時間はかからなかった。最初にアムステルダムの国立数学研究所 (Mathematisch Centrum) に職を得たが、オランダのアイントホーフェン工科大学で教授職を得る。1970年代初期にはバロースのフェローとしても働いた。その後、アメリカのテキサス大学オースティン校に移り、2000年に引退した。
彼のコンピュータ科学に関する貢献としては、グラフ理論の最短経路問題におけるダイクストラ法、逆ポーランド記法とそれに関連する操車場アルゴリズム、初期の階層型システムの例であるTHEマルチプログラミングシステム、銀行家のアルゴリズム、排他制御のためのセマフォの考案などがある。分散コンピューティング分野では自己安定化というシステムの信頼性を保証する手法を提案した。ダイクストラ法は SPF (Shortest Path First) で使われており、それがOSPFやIS-ISといったルーティングプロトコルで使われている。操車場アルゴリズムやセマフォ（鉄道でかつて使われた腕木式信号機）に代表されるが、鉄道を使用した説明でも知られる。
エドガー・ダイクストラ 生涯
1950年代には、当時の他のコンピュータ科学者やプログラマたちと同様、機械語ないし、FORTRANのような当時一般的だった非構造的な言語によってプログラミングをしていたが、その後早くから大規模なプログラムをバグが無いように書くことの困難さについて警鐘を鳴らした一人であった。1960年代後半に「構造化プログラミング」を掲げ、プログラミングの改善について多くの文献や発言を残した。当時のプログラミングでは、ループや条件分けなどの、あらゆる制御構造を「goto文一本槍」で書くしかなかったわけだが、その問題点を指摘した "A Case against the GO TO Statement"  という文章をしたためる（注: ダイクストラには、ホーアやクヌースなど、似た問題意識を持っていた他のコンピュータ科学者らとの手紙や学会関係の集まりでの交流にもとづき、改訂を重ねたことにより、いくつかのバージョンのある文章が多い）。
しかしその主張は「goto文除去運動」といったように単純化されて捉えられることも多く、クヌースによれば1971年には、情報処理国際連合（IFIP）の国際会議で会った後藤英一（Eiichi Goto）が、いつも「除去」されて困るとジョークを言っていた、という（ほどに、単純化された解釈が広まっていた、ということ）。
エドガー・ダイクストラ 生涯
前述の "A Case against the GO TO Statement" はコンピュータ科学の国際学会ACMに投稿され、『Go To 文は有害とみなされる』("Go To Statement Considered Harmful") という刺激的な題名で学会誌（CACM）にレターとして掲載された（この出来事は、やはりクヌースによれば「go to文除去の話の二番目の場面は，多くの人たちが第一幕だと思っている事実」となった）。刺激的な題名はダイクストラ本人が付けたものではなく、当時編集を担当していたニクラウス・ヴィルトが付けたもので、すぐに掲載できるレター扱いを決めたのもヴィルトである。これは後に、"considered harmful" というフレーズが業界の定番となった原点でもある。1972年には、アントニー・ホーアとオーレ＝ヨハン・ダールとの共著で、"Structured Programming" という題名の書籍に、3人のそれぞれの主要分野（ホーアはホーア論理が著名なように形式手法、ダールはSimulaの設計者の一人であり、データ抽象（後のオブジェクト指向につながる）に関して解説した）に基づく、よりよいプログラミングについてまとめた。
エドガー・ダイクストラ 生涯
以上のような立場から、BASICを教育に使うことにも強く反対し、（マイコン普及以前の1975年の時点で既に）mentally mutilated beyond hope of regeneration（回復の望みがないほどに精神をダメにされる）といった強い調子で否定する言葉を残している。ほぼ同じことをマイコン普及初期の1984年にも述べている（EWD898）。これも、当時に少年期を過ごし、BASICを使っていた現代のコンピュータ科学者などが、「私は無事だったようです」等とネタにすることがある。
ダイクストラは ALGOL 60 のファンとしても知られ、最初のコンパイラを実装したチームにも参加していた。そのコンパイラ開発に関わった Jaap Zonneveld とダイクストラはプロジェクトが完了するまで髭を剃らないという誓いを立てた。それは、世界初の再帰をサポートしたコンパイラの1つである（現代では戻り番地や引数をスタックに積む、という再帰できるようにするための処理は、空気のように当たり前のことになっているので特記事項である意味がわからないかもしれないが、それ以前にあったコンパイラ、例えば「世界最初のコンパイラ」と言われることのあるひとつである、IBMによるFORTRANコンパイラは、理由あって最適化等は追求していたものの、実行時に関数を再帰呼出しすることはサポートしていなかった）。
エドガー・ダイクストラ 生涯
1968年には、THEと呼ばれるマルチプログラミング方式のオペレーティングシステムの構造に関する論文と、"Cooperating Sequential Processes" についての論文を発表している。
1970年代になると、ダイクストラの主要な興味は形式的検証に移っていった。当時の一般的手法は、とりあえずプログラムを書いてからその正当性を数学的に証明するというものであった。ダイクストラはこれに対して、検証に時間がかかって面倒であるし、プログラムの開発手法に何ら洞察を与えない点が問題であるとした。一方「検証とプログラミングを同時に行う」のが「プログラム導出」と呼ばれる別の手法である。まず、プログラムの動作に関する数学的な「仕様」を記述し、その仕様に数学的な変換を加えて最終的にプログラムを導き出す。このように作成されたプログラムは「構造上正しい」ことが知られている。ダイクストラの後期の仕事は、この数学的手法を効率化することに関係している。2001年のインタビューで彼は「優雅さ」への渇望について述べていた。すなわち、完全さを求めるのではなく、思考を精神的に処理することが正しいアプローチであると。彼はたとえ話としてモーツァルトとベートーヴェンの作曲法を対比させている。
エドガー・ダイクストラ 生涯
ダイクストラは分散コンピューティングの先駆者の1人でもある。例えば、彼の "Self-stabilizing Systems in Spite of Distributed Control" という論文は自己安定化というサブフィールドを創始した。
コンピュータ科学やプログラミングについての彼の意見は広範囲に及んだ。例えば、あるデータ構造の複数のインスタンスを処理している場合、経験則としてそのロジックをループ内にカプセル化すべきだと示唆し、また、プログラミングが本来非常に難しく複雑であり、プログラマはその複雑性をうまく管理するために可能な限り技巧と抽象化を利用する必要がある、という主張をした。
「コンピュータ科学」という用語が、（情報理論などといった）実際には必要な抽象的性質について当を得ていない、とする以下のような発言もあった（EWD924、なお日本では「情報科学」など、ある程度それを補うような語が併用されている）。
エドガー・ダイクストラ 生涯
A confusion of even longer standing came from the fact that the unprepared included the electronic engineers that were supposed to design, build, and maintain the machines. The job was actually beyond the electronic technology of the day, and, as a result, the question of how to get and keep the physical equipment more or less in working condition became in the early days the all-overriding concern. As a result, the topic became —primarily in the USA— prematurely known as "computer science" —which, actually is like referring to surgery as "knife science"— and it was firmly implanted in people's minds that computing science is about machines and their peripheral equipment. Quod non.
（訳）（コンピュータを操作するという）仕事は実のところ当時の電子工学技術の域を超えていて、物理的装置を動作可能にしてその状態を保つことが当初は何にも増して重要な課題だった。結果として特にアメリカでは「コンピュータ科学」という用語が時期尚早な形で使われるようになり（実際、それは外科を「ナイフ科学」と呼ぶようなものである）、それが計算機と周辺機器についての科学であるという概念が人々の心に強く植えつけられた。Quod non（ラテン語で「それは正しくない」）
長年の癌との戦いの末、2002年8月6日、オランダのニューネンで亡くなった。
エドガー・ダイクストラ ダイクストラの箴言
以下の言葉は、「ダイクストラの箴言」として引用されることが多い。
Program testing can be a very effective way to show the presence of bugs, but is hopelessly inadequate for showing their absence.

Edsger W. Dijkstra "The Humble Programmer (1972)"
エドガー・ダイクストラ EWD と手書き文書
彼はまた、万年筆で慎重に原稿を書く習慣があることでも知られていた。ダイクストラは原稿に自分のイニシャルである EWDという記号と番号を付与したため、彼の原稿は一般に EWD と呼ばれている。ダイクストラ自身によれば、アムステルダムの数学研究所を離れてアイントホーフェン工科大学に移った後、この習慣が始まったという。アイントホーフェンに移った後、ダイクストラは1年以上何も書けない状態が続いた。自分を省みたダイクストラは、数学研究所の元同僚が理解するようなことを書けばアイントホーフェンの同僚には理解されず、アイントホーフェンの同僚が望むようなことを書けば数学研究所の元同僚に軽蔑されるという懸念があることを発見する。そこで彼は自分自身のためだけに書くことを決め、EWDが生まれた。ダイクストラは新たに EWD を書き上げると、そのコピーを同僚に配布した。それがさらにコピーされて世界中に配布されていき、計算機科学界全体に広がったのである。主題は計算機科学か数学であるが、一部は旅行記だったり、手紙だったり、講演記録だったりする。1300以上のEWDが電子化され、テキサス大学のダイクストラのアーカイブで検索・入手可能である。
エドガー・ダイクストラ EWD と手書き文書
ダイクストラの空想上の副業として、空想上の企業 Mathematics Inc. の会長という仕事があった。この企業はコンピュータのプログラム製造を商業化したソフトウェア企業のように、数学の定理を製造することを商業化した会社である。彼は Mathematics Inc. の様々な活動や課題を考案し、それをEWDシリーズのいくつかの文書で発表している。この空想上の企業はリーマン予想の証明を製造したが、リーマン予想が正しいと仮定して様々な証明を行ってきた数学者たちからロイヤルティーを徴収するという難題に直面する。証明そのものは企業秘密 (trade secret) である。同社の証明の多くは急いで生産され、同社はそれらの保守に追われることになった。より成功した成果として、ピタゴラスの定理の標準的証明があり、100以上存在した既存の証明群を置換した。ダイクストラは Mathematics Inc. について「これまでに考案された最もエキサイティングで最もみじめなビジネス」と評した。EWD 443 (1974) では彼の想像した会社が世界の75%のシェアを獲得したとされている。
ダイクストラはソフトウェアについて様々な発明をしたが、自分のコンピュータを所有したのは比較的遅く、しかもめったに使わなかった。1972年以降のEWDはほとんどが手書きである。講義の際は黒板にチョークで書き、オーバーヘッドプロジェクタも滅多に使わなかった。アップルのMacintoshを購入してからも、電子メールとWebブラウザ以外には使わなかった。
エドガー・ダイクストラ 著作
Dijkstra, E. W. (March 1968). “Letters to the editor: go to statement considered harmful”. Communications of the ACM 11 (3):  147–148. doi:10.1145/362929.362947. ISSN 0001-0782. http://www.cs.utexas.edu/users/EWD/ewd02xx/EWD215.PDF.  (EWD215) - Go To 文は有害だと考えられる
Dijkstra, E. W. (Aug 1972). “The Humble Programmer”. Communications of the ACM 15 (10):  859–866. doi:10.1145/355604.361591. http://www.cs.utexas.edu/users/EWD/ewd03xx/EWD340.PDF.  (EWD340) PDF, 1972年のチューリング賞講演
エドガー・ダイクストラ 著作
Dijkstra, E. W. (May 1982). “How do we tell truths that might hurt?”. SIGPLAN Notice 17 (5):  13–15. doi:10.1145/947923.947924. ISSN 0362-1340. http://www.cs.virginia.edu/~evans/cs655/readings/ewd498.html.  (EWD498)
O.-J. Dahl, Edsger W. Dijkstra, C. A. R. Hoare Structured Programming, Academic Press, London, 1972 ISBN 0-12-200550-3
Notes on Structured Programming (EWD249) がベースになっている。また、エイト・クイーンをバックトラッキングを使って解く構造化された例がある。
バンド理論
固体物理学における固体のバンド理論（バンドりろん、英: band theory）または帯理論とは、結晶などの固体物質中に分布する電子の量子力学的なエネルギーレベルに関する理論を言う。1920年代後半にフェリックス・ブロッホ、ルドルフ・パイエルス、レオン・ブリルアンらによって確立された。なお、価電子帯の最高部（英: valence band maximum, VBM）と伝導帯の最低部（英: conduction band minimum, CBM）とのエネルギー差をバンドギャップといい、価電子帯での電子が占める最高エネルギー準位をフェルミ準位という
バンド理論 概要
量子力学によると、束縛状態の電子が取りうるエネルギー準位は、特定の準位のみに限定され飛び飛びに（離散的に）なる。しかし、固体中の外殻電子は、隣接する原子の電子との相互作用によって、電子の取りうるエネルギー準位の幅が広がって連続的（バンド構造）になる。
一方で、電子が取りえないエネルギー準位も依然として存在し、バンドとバンドの間の空隙（ギャップ）となる。これをエネルギーバンドギャップという。
ブロッホの定理によると、結晶中の電子の波動関数(結晶中の電子の電子状態)は、波数と呼ばれる量子数によって指定される。このことが、エネルギーと波数の関係式が原理的に書き下せることを保障している。
エネルギーバンドの特徴は、絶縁体と金属の違いを説明することができる。絶縁体や半導体では、フェルミ準位は価電子帯と伝導帯の間のギャップの中に存在するため、自由電子が存在しない。一方、金属はエネルギーバンドの中にフェルミ準位が存在するため、バンドギャップを超えることなく電子がエネルギーを得ることができる、すなわち、わずかなエネルギーで電子を動かすことができる（電流が流れる）。このような絶縁体、金属の分類の描像は20世紀の半ばには確立されていた。しかし単純なバンド理論では説明できない絶縁状態（モット絶縁体）も存在し、強相関電子系と呼ばれる分野で研究されている。
スラッシュ (記号)
スラッシュ（英語: slash）、スラント（英: slant）、ソリドゥス（英: solidus）、または斜線（しゃせん）は、約物の一つで、「/」と書き表される。
ただし、斜線と言う場合には、いわゆるバックスラッシュ（\）や、約物以外のさまざまな斜めの線が含まれるので、一般にはスラッシュと呼ばれることが多い。
スラッシュ (記号) 国際的な用法
算用数字で表した年月日または月日の区切りとして用いる。日付の順序は国・言語によって異なり、これを「エンディアン」という。
例えば、2010年11月8日は次のとおりである。括弧内の表記は年を省略した11月8日を表す。
日付と時間の国際規格であるISO 8601では、ビッグエンディアンのみが認められており、かつ区切りにはスラッシュは用いず、「-」（ハイフン）を用いる。なお、年を省略した「11-08」のような記法は存在しない。
西暦を下二桁で表記する慣用もあり、また2桁になるように0（ゼロ）を先行させる場合もある（ISO 8601では4桁が必須）。その場合は、
ISO 8601では、スラッシュは期間を表す。例えば、「2004-01-31/2005-01-30」は「2004年1月31日から2005年1月30日」を表す（ISO 8601#期間、時間間隔）。
ヨーロッパ諸国では、ユリウス暦からグレゴリオ暦への移行時期に、混乱を防ぐため、ユリウス暦とグレゴリオ暦の日付をスラッシュを挟んで併記していた。
スラッシュ (記号) 国際的な用法
分数で、縦のスペースを節約したいときや、分数形式だと式が読みづらくなるときなど、 = 1⁄3 = 1/3 （3分の1）のように書く。
日本語圏や英語圏などでは割り算の演算子を「÷」で表すが、コンピュータなどでは「÷」が基本的な文字セット（ASCIIなど）に含まれていないため、分数として捉えて代わりに「/」を使う。多くのプログラミング言語でこの記法が採用されている（下記#コンピュータにおけるスラッシュ参照）。
SI組立単位の単位記号で、割り算を表す。例えば、m/s（メートル毎秒）。
文脈によって「または」か「および」を表す。以下の例は英語の場合であるが、多くの言語で使われる。
green and/or small car = 緑色でかつ（and）小さい車、または、緑色であるかもしくは（or）小さい車。要するに、緑色の車と小さい車の両方（緑色かつ小さい車を含む）を指す。
the Ernest Hemingway/William Faulkner generation = アーネスト・ヘミングウェイやウィリアム・フォークナーの世代
F/A-18 = 戦闘機（F）兼攻撃機（A）
スラッシュ (記号) 国際的な用法
航空券における出発地・到着地の表記やコードシェア便の表記。同一都市に複数の空港が含まれる場合は「都市名/空港名」と表記される場合があり、「東京/羽田」「東京/成田」「大阪/伊丹」「大阪/関空」などと表記される（他には都市名、空港名いずれかが括弧書される場合があるほか、「東京 - 成田」のようにハイフンで結ばれる場合もある）。コードシェア便についても同様に、「AA154/JL7010」などの表記が見られる。
アマチュア無線では、常置場所とは異なる場所で運用する無線局（移動運用局）であることを示すために、呼出符号に「/」を付け、運用地を示す英数字を加える。この際の発音は、世界的には「ストローク」（英語: stroke）が一般的であるが、日本国内では「ポータブル」（英: portable）と読まれることが多い。なお、この用法以外にも、呼出符号に情報を付加するために「/」を用いるケースもある。
スラッシュ (記号) コンピュータにおけるスラッシュ
現代のコンピュータキーボードには標準的に装備されている。
UNIXオペレーティングシステムにおいて、パス区切り記号として、ディレクトリ（パーソナルコンピュータのフォルダと類似の概念）を表し、ディレクトリ名の後（あるいは、ネットワーク内のコンピュータ名の後）に置かれる。また、「//」で、ネットワーク全体を表す。UNIXではないがネットワーク上でUNIXのように振る舞っているコンピュータもこれに準じ、したがって、インターネットのURLでも同様である。
地衣類
地衣類（ちいるい）は、菌類（主に子嚢菌や担子菌）のうち、藻類（主にシアノバクテリアあるいは緑藻）を共生させることで自活できるようになった生物である。一見ではコケ類（苔類）などにも似て見えるが、形態的にも異なり、構造は全く違うものである。
地衣類 特徴
地衣類は、陸上性で、肉眼で見えるが、ごく背の低い光合成生物である。その点でコケ植物に共通点があり、生育環境も共通している。それゆえ多くの言語において同一視され（日本語でも地衣類の和名の多くが「○○ゴケ」である）、生物学の分野においても、1868年にスイスの植物学者であるジーモン・シュヴェンデナーが菌類と藻類とが共生しているとする説を提唱するまでコケ植物とされていた（生物学の用語としての「共生」が生まれたのも地衣類の研究からとされる）。
コケ植物が自ら光合成して栄養を作れる生物なのに対し、地衣類ではその構造を作っているのは光合成をできない菌類であり、菌糸で作られた構造の内部に藻類が共生しており藻類の光合成産物によって菌類が生活している。菌類は大部分は子嚢菌に属するものであるが、それ以外の場合もある。藻類と菌類は融合しているわけではなく、多くの地衣類ではそれぞれ独立に培養でき、2種の生物が一緒にいるだけと見ることもできる。また、一部の地衣類では、菌類単独では形成しない特殊な構造をしていたり、菌・藻類単独では合成しない地衣成分がみられるなど共生が高度化している。
地衣類 特徴
かつては、地衣類を一体化した生物とみなし、地衣類を独立した分類群としたり、地衣植物門を認めたこともあった。しかし、地衣の基本的な形態はあくまでも菌類のものであり、例えば重要な分類的特徴である子実体の構造は完全に菌類のものである。また同一の地衣類であっても別種の藻類を共生させていることもある。そのため、現在では地衣類は特殊な栄養獲得形式を確立した菌類とみなされている。国際植物命名規約では1952年の改訂から、地衣類に与えられた学名はそれを構成する菌類に与えられたものとみなすと定めている。
菌類が藻類を獲得することを地衣化という。地衣を構成する菌類は子嚢菌類のいくつかの分類群にまたがっており、さらに担子菌類にも存在する。したがって独立して何度かの地衣類化が起こったのだと考えられている。また、子嚢胞子など有性胞子の形成が見られないものもあり、そのようなものは不完全地衣類と呼ばれていたが、現在は分子系統解析により科以上の上位分類群を推定できるようになり、大多数の不完全地衣類は子嚢地衣類に属することが明らかになった。
地衣類 生殖
繁殖は有性生殖と無性生殖がある。
有性生殖は菌の所属する群に特有の胞子による。多くは子嚢菌なのでこれについて説明する。
子嚢胞子は小さなキノコ状の子実体を作り、そこに形成される。子実体の形は、大きくは3通りあり、皿状の裸子器（らしき）、壺状の被子器（ひしき）、溝状に細長いリレラである。胞子はその内部の子嚢の中に減数分裂によって形成され、上に放出される。胞子が好適な場で発芽すると、藻類を取り込んで成長する。従って地衣体を構成する菌糸は単相である。
また、無性生殖のための器官として、地衣体の一部を粒状や粉状の構造として、これを分離して散布するものがある。これを芽子という。このようなものは内部に藻類を持って分散するので、すぐに成長を始めることができる。
地衣類 形態による分類
地衣類はその形態から、葉状地衣類、痂状地衣類、樹状地衣類に大別される。この分け方は必ずしも分類体系を反映するものではないが、同定する上では参考になる。
葉状地衣類
ウメノキゴケ
薄い膜状の地衣類。コケ植物の苔類に見られる葉状体に似ている。表面には菌糸による上皮層があり、その下には藻類を含む藻類層がある。藻類層の下には菌糸からなる髄層があり、下皮層によって下面が区切られる。基質上には下皮層から生じる偽根という根に似た構造で固着する。成長は地衣体の周辺から外に向かって伸びることで行われ、不規則な雲状の形になることが多い。子実体は地衣体表面に上向きに付くことが多い。
痂状地衣類
多数の痂状地衣が樹皮についている。白っぽい斑紋に見えるのはほとんどが地衣類。左の大きいものはモジゴケの一種、黒い線は子実体。
痂状地衣類　チズゴケの一種で（フジヤマチズゴケ）高山の岩肌に張り付いている。地衣体が非常に硬いため乾燥状態では細かくひび割れている。
葉状地衣に似ているが、裏面に下皮層がなく、地衣体が基質に密着、あるいはとけ込んでいるように見える痂状と呼ばれる状態のものである。砂岩などの基質の上では、地衣体が基質と完全に一体化していることもある。多少色があることでその形がやっとわかる場合や、子実体だけが並んでいるように見えることもある。全体は円形で、外に向かって成長する。子実体は、表面に上向きに並ぶ。
地衣類 形態による分類
樹状地衣類
ヤマヒコノリの一種。吸盤のように見えるのは形成中の子実体。
ヒメレンゲゴケの一種。挙げた手のようにも見える。
前記2つとは全く異なり、枝状になって基質から立ち上がるものである。垂れ下がったり、這い回ったりするものもある。茎状の軸は皮層に囲まれ、その内側に藻類層がある。形は様々であるが、細かい枝に分かれたり、傘状になったりするものはあるが、コケ植物の茎葉体や高等植物のように、葉のような構造を作ることはない。子実体は枝先などにつく。
これらとは異なる形態として、希少な担子菌地衣類の一つであるカレエダタケ科のシラウオタケ（Multiclavula mucida）が挙げられる。シラウオタケは、主にブナ林において倒木上に発生するが、倒木上に緑藻を伴っており、地衣化している。
地衣類 生育環境
見かけがコケと同じようなものであるのと同様、生育環境もコケと共通するものが多い。背の高いものが少ない点も共通である。
地表、岩の上、樹皮上などに着生するものが多い。樹皮についていても樹木から栄養を得ているわけではない。霧のかかるような所では種類が多いことも同様である。日本の温帯林では、サルオガセが樹上から垂れ下がるのが、よく目立つ森林がある。都会でもコンクリートの表面に出るものがある。
他の植物が生育できないような厳しい環境に進出できる。低温、高温、乾燥、湿潤などの環境をはじめとして、極地など寒冷な地域や、火山周辺など有毒ガスの出る地域にも特殊なものが生育する。この点、地衣類は菌類と藻類の共生体だが、そのどちらよりも厳しい環境に耐えることができる。
地衣類 生育環境
他方、水中や雪の上、室内や光の届かない洞窟などには生育しない。光合成や空気中の水分に依存するため大気汚染に弱いことも指摘されている。樹皮上に着生するウメノキゴケなどの地衣類は、自動車の排気ガスに弱く、樹木に着生する地衣類は大気汚染の良い指標となることが知られ、たとえば公園の樹木を見ても、大通り側の樹木には地衣類が着生していない、といった現象がたやすく観察される。国立科学博物館などが1970年代から静岡市清水区でウメノキゴケを調査したところ、二酸化硫黄の年間平均濃度が0.02ppm以上になると弱って減り、工場の排煙規制が進むと工業地帯の清水港周辺で回復し、一方で自動車が多い国道1号沿道で確認できない調査地点が増えた。また東京都などによるディーゼル車規制で、皇居で見つかる地衣類の種類が21世紀に入って増えた。そういった意味では指標生物としても利用される。
地衣類 性質の一側面
地衣類は成長が遅く（年数ミリメートル程度）、寿命が長い。個々の部分は特定の季節に急に出てきたりすることはなく、だいたいどの季節も同じような姿をしている。従って、観察はどの時期にでも出来る。
地衣類は基本的には菌類ではあるがそのような感覚では培養が難しく、また成長が非常に遅いため、そういった方法では扱い難い。大きさはコケ並みであるから野外での観察採集が可能であるから、実際には野外で探しながら採集するのが普通の収集方法である。しかし、コケと異なり、その構造が菌糸であり、一回り細かい。たとえば痂状地衣は基質に完全に密着している。樹皮につくものなら樹皮ごと削り取れば採集できるが、岩に張り付いているものはかち割らねば取れない。さらにその構造はコケより単純であり、肉眼でも虫眼鏡でも届かないレベルである。その一部は化学物質でしか区別するのは困難である。
地衣類 利用
10種類ほどが漢方薬の原料になるほか、抗生物質など有用成分を抽出する研究が1950年代以降進められている。サルオガセ（Usnea）属のナガサルオガセ（Usnea longissima）、ヨコワサルオガセ（Usnea diffracta Vain.）は、マツ（松）類によく着生することから松蘿（しょうら）ともいい、中国や韓国では、乾燥したものを漢方薬として用いている。利尿作用や強壮作用があるという。
酸性アルカリ性の判定に使うリトマス紙は地衣類であるリトマスゴケから得られる。また、ヨーロッパにおいては古くから多くの地衣類が染色用として用いられてきた。さらにロウソクゴケは鮮やかな黄色を蝋燭の染色に用いたためこの名がある。防虫や腐食防止などの効果を持つ、地衣類から得られるこうした成分を「地衣成分」と呼ぶ。
イワタケ、バンダイキノリは食用にされる。
中国ではムシゴケ（Thamnolia vermicularis）を乾燥させたものが茶として利用されている。この「雪茶」を大量に摂取したためと疑われる肝機能障害が報告されている。
ハナゴケ類などがトナカイゴケと呼ばれ、北極圏ではトナカイなど家畜の餌に利用されることもある。また、ハナゴケの仲間はそのままの形で緑に染めて、鉄道模型やジオラマの樹木として用いられることもある。
地衣類 コケ植物との見分け方
外見が似ており共通する性質もあるコケ植物（蘚苔類）とよく混同されるが、上記の通り、菌類と藻類の共生生物であるため全く異なる生物である。
見分け方として以下のようなものがある。
地衣類 地衣類の種類
地球上に生育する地衣類は世界で約1万4,000種とも約2万種ともいわれ、現在でも多くの新種や新産種が発見される一方、多くの種名がシノニムとして整理されることも多いため、正確な種数は把握しにくいが、2018年時点で約1,800種が日本から記録されている。
チャシブゴケ菌綱
地衣類 地衣類の種類
チャシブゴケ目 Lecanorales
ウメノキゴケ科 Parmeliaceae
ウメノキゴケ属
ウメノキゴケ
ナミガタウメノキゴケ
ヒメウメノキゴケ属
トゲウメノキゴケ
コナヒウメノキゴケ
キウメノキゴケ属
キウメノキゴケ
ウチキウメノキゴケ属
ウチキウメノキゴケ
フクロゴケ属
センシゴケ属
センシゴケ
ゴヘイゴケ属　
エイランタイ属
トコブシゴケ属
ウスバトコブシゴケ属
コガネトコブシゴケ属
カラクサゴケ属
カラクサゴケ
ハクテンゴケ属
ハクテンゴケ
マツゲゴケ属
マツゲゴケ
ニセマツゲゴケ
ゴンゲンゴケ属
ウチキアワビゴケ
タカハシウメノキゴケ
サルオガセ科（ウメノキゴケ科）
カラタチゴケ属
ササクレカラタチゴケ
イワカラタチゴケ
カラタチゴケ
オガサワラカラタチゴケ
サルオガセ属
サルオガセ
アカサルオガセ
フジサルオガセ
ホンドサルオガセ
ナガサルオガセ
クシロサルオガセ
ヤマヒコノリ属
ヤマヒコノリ
ホネキノリ属
ナヨナヨサガリ属
イワタケ科 Umbilicariaceae
イワタケ属 Rock tripe
ヒメイワタケ
イワタケ
ハナゴケ科 Cladoniaceae
ハナゴケ属
ミヤマハナゴケ
ハナゴケ Cladonia rangiferina
コアカミゴケ
フクレヘラゴケ属
フクレヘラゴケ
キゴケ科 Stereocaulaceae
キゴケ属
キゴケ
ヤマトキゴケ
地衣類 地衣類の種類
コナボウズゴケ
オオキゴケ
カムリゴケ属
カムリゴケ
ヘリトリゴケ科 Lecideaceae
ヘリトリゴケ
チャシブゴケ科 Lecanoraceae
チャシブゴケ
ナミチャシブゴケ
コナイボゴケ
モエギイボゴケ
サンゴゴケ科 Sphaerophoraceae
サンゴゴケ
ダイダイキノリ目 Teloschistales
ムカデゴケ科 Physciaceae
ムカデゴケ属
アカハラムカデゴケ
シラゲムカデゴケ
シロムカデゴケ
クロウラムカデゴケ
フィスコニア属
ヂリナリア属
コフキヂリナリア
クロボシゴケ属    
オオアカハラムカデゴケ
クロボシゴケ
ヒメゲジゲジゴケ属
ヒメゲジゲジゴケ
トゲヒメゲジゲジゴケ
ゲジゲジゴケ属
コフキゲジゲジゴケ
キウラゲジゲジゴケ
ピンタケ目 Ostropales
モジゴケ科 Graphidaceae
モジゴケ
クロイシガキモジゴケ
ボンジゴケ
シロコナモジゴケ
コモジゴケ
アミモジゴケ
エダマタモジゴケ
クロモジゴケ
カバイロイワモジゴケ
コフキモジゴケ
エダモジゴケ
ヘリトリモジゴケ
ホソモジゴケ
ミチノクモジゴケ
セスジモジゴケ
オシオモジゴケ
サラゴケ科 Gyalectaceae
ダイダイサラゴケ
フジゴケ科 Thelotremataceae
ホソフジゴケ
トリハダゴケ目 Pertusariales
トリハダゴケ科 Pertusariaceae
イワニクイボゴケ
クサビラゴケ
ヒメニクイボゴケ
アカギニクイボゴケ
コブトリハダゴケ
ヒメコブトリハダゴケ
オリーブトリハダゴケ
ホソクチトリハダゴケ
オシオトリハダゴケ
コトリハダゴケ
モエギトリハダゴケ
オオカノコゴケ
オオトリハダゴケ
ヒメトリハダゴケ
ヒメサンゴトリハダゴケ
サンゴトリハダゴケ
クロイボタケ綱
ホシゴケ菌綱
ユーロチウム菌綱