(* -*- title: "λ Abstraction"; subtitle: "Knowledge" -*- *)

これは暫定的なページです。 将来、内容が変更される可能性があります。

(* Local Variables: *)
(* Version: "0.0.7" *)
(* Stability: provisional *)
(* Category: Novel *)
(* End: *)

Logo

          ( `.
            `.\
             / \
            / /\\
           / /  \`.
    _     /_/    `._)
   / \    ___   __   ___  ___
  /___\   |__) (_ ' ' | ' |__)
_/_   _\_ |__) .__)   |   |  \
  _    __   ___  ___  __  _  _
 / \  /  ' ' | '  |  /  \ |\ |
/---\ \__.   |   _|_ \__/ | \|

Characters

古園井(こぞのい)真鳥(まとり)

2029年10月生まれ。兵庫県芦屋市在住。 2045年に京都λ抽象学院入学。

Language: SML (SML#)

緑川(みどりかわ) ＝パース・ A(エイダ) ・リエ＝コーデリア

Rie-Cordelia Ada Midorikawa-Pierce

Nickname: Delia

日本人

肌: 白

髪: 赤

目: 緑

Language: Ada (GNAT)

キャサリン・ウォーターリリィ

Catherine Waterlily

Nickname: Cat

英国生まれデスヨ！　イギリス人

スコットランド出身

アルビノ

肌: 白

髪: 白

目: 赤

Language: Haskell (GHC)

後藤(ごとう) 写理(うつり) 先生

Language: Haskell

藤阪(ふじさか) 対(つい) 先生

Language: SML

？？？

フランス人

Language: OCaml

アリス＝メヒティルト・ローレンツ

Alice-Mechthild Lorenz

ドイツ人

Language: SML (Alice ML)

Софья Мария Ланда́у

Sophiya Mariya Landau

ロシア人

Language: SML (Moscow ML)

Schools

京都λ抽象学院

京都市上京区荒神口通りの近くにある。

Gadgets

Facebook Ring

(* Local Variables: *)
(* Revision: "78f480c7b2b41f7e620c7fda17e25bbbabee3875" *)
(* End: *)