stanford-oval/wikipedia huggingface dataset:
フリーソフトウェア財団

| --- | --- |
 
略称:  FSF
標語:  Free Software, Free Society  (自由なソフトウェア、自由な社会)
設立:  1985年10月4日
種類:  米国内国歳入法第501条C項3号認定を受けた非営利団体
法的地位:  財団
目的:  啓蒙組織
本部:  アメリカ合衆国 マサチューセッツ州・ボストン
貢献地域:  世界規模
会員数:  私人ならびに後援企業
代表:  ジェフリー・クノース
加盟:  Software Freedom Law Center (SFLC)
職員数:  13人
ボランティア数:  不明（世界各国に存在）
ウェブサイト:  The Free Software Foundation
テンプレートを表示
フリーソフトウェア財団（フリーソフトウェアざいだん、英語: Free Software Foundation, Inc., 略称FSF）とは、1985年10月4日、リチャード・ストールマンにより創設された非営利団体である。当団体は、自由ソフトウェア運動、すなわち、コンピュータ・ソフトウェアを作成、頒布、改変する自由をユーザーに広く遍く推し進めることを狙い、コピーレフトを基本とする社会運動の支援を目標に掲げている。
概要

FSFはアメリカ合衆国、マサチューセッツ州の団体である。元々は、マサチューセッツ工科大学の地下室と呼ばれたコンピュータルーム内の計算機を活用して、数多くのソフトウェアを製作したストールマンの活動が起源となっている。創立から1990年代中頃まで、FSFの資金は、GNUプロジェクトのために自由ソフトウェアを作成するソフトウェア開発者を雇用する為、概ね拠出されていた。1990年代中頃からは、FSFの従業員とその奉仕活動者（ヴォランティア）は、自由ソフトウェア運動と自由ソフトウェアコミュニティに対する法的かつ構造的な問題に対処するため概ね活動している。
FSFの目標は首尾一貫しており、コンピュータ上で利用できる唯一のソフトウェアが自由ソフトウェアとなることを目指している。
構成員

FSFの理事会(board of directors)は以下の人物が務める。
ジェフリー・クノース（英語版）: 代表兼財務担当、SFA, Inc.のシニア・ソフトウェア・エンジニア（1997年10月23日より理事を務め、2020年8月に代表に選出）。
ジェラルド・ジェイ・サスマン: MIT教授（計算機科学専攻）（創設当初より理事を務める）。
ヘンリー・プール: 技術諮問会社（テクノロジー・コンサルティング・ファーム）の草の根的運動である、CivicActionsの創設者（2002年12月12日より理事を務める）。
イアン・ケリング: FSF上級システム管理者。2021年3月28日選出。
オディール・ベナッシ: GNU Eduプロジェクトのリーダー。初のヨーロッパ出身のFSF理事。
リチャード・ストールマン: 創設者、 元代表。GNUプロジェクト立ち上げ、GNU General Public Licenseの著作者（創設当初より2019年9月まで代表を務める）。2021年3月理事復帰。
以前理事を務めたものは以下の人物を含む。
ハル・アベルソン: 創設メンバー 、MIT教授（計算機科学専攻）（創設時から1998年3月5日まで理事を務め、のち2005年頃に再度就任）。
ベンジャミン・マコ・ヒル: MITメディアラボ研究生（2007年7月25日より理事を務める）。
ブラッドリー・クーン: Software Freedom Conservancy執行役員（Executive Director）並びにFSF元執行役員（2010年3月25日より理事を務める）。
ローレンス・レッシグ: スタンフォード大学法学部教授（2004年3月28日から2008年まで理事を務めた）。
ロバート・J・シャッセル: 創設時の会計兼取締役（創設時より1997年6月3日まで理事を務めた）。
レン・タワー・ジュニア（英語版）（Len Tower Jr.）: 創設メンバー（1997年9月2日まで理事を務めた）。
ミゲル・デ・イカザ: （1999年8月から2002年2月25日まで理事を務めた）。
エベン・モグレン: （2000年7月28日から、2007年まで理事を務めた）。
ウィリアム・ジョン・サリバン
カット・ウォルシュ: （2003年3月から2021年3月まで理事を務めた）
FSFの理事会は、議決権を持つ委員によって選出される。委員の持つ権利のうち、少なくとも投票権に関しては、次に述べる財団の定款（規約）に略記されている。
In addition to the right to elect Directors as provided in the by-laws and such other powers and rights as may be vested in them by law, these Articles of Organization or the by-laws, the Voting Members shall have such other powers and rights as the Directors may designate.
参考訳
定款により付与されるその他の権限や権利と同様に、定款の定めるところによる理事選出権に加えて、これらまたは定款により、議決権を持つ委員は理事を指名する権限そのほかの権利を有するものとする。
FSFの議決権を持つ委員が誰なのか、その構成を示す有効な文書は現時点では不明である。[要出典]
FSFの執行役員（Executive director、代表取締役）は、ウィリアム・ジョン・サリバンが2021年3月まで務めた。以前この地位に就いていたものは、ブラッドリー・M・クーン（在任: 2001年-2005年）、ピーター・T・ブラウン（在任: 2005年-2010年)であった。
設立から現在にかけて、FSFには大抵約十数名の従業員がいる。全てではないが、FSFの本部機能の大部分はマサチューセッツ州ボストンに設置されている。
エベン・モグレンとダン・ラヴィチャー（英語版）は以前、プロボノの法務顧問(legal counsel)として個人でFSFに従事していた。Software Freedom Law Center(SFLC)の立ち上げにより、FSFに対する法的サービスはSFLCにより行われることになった。
2002年11月25日、FSFは個人向けのFSF賛助会員プログラム（FSF Associate Membership program）を立ち上げた。ブラッドリー・M・クーン（2001年から2005年までFSFの執行役員,Executive Directorを務めた）はそのプログラムの立ち上げを行っており、最初の賛助会員に登録を申し込んでいる。賛助会員は純粋に名誉を得るだけであり、FSFの資金援助という役目を担っている。
活動

自由ソフトウェアの理想を推し進めることを目的に様々な活動をしている。
活動 > 自由ソフトウェア運動

→詳細は「自由ソフトウェア運動」を参照
→「Defective by Design」および「BadVista」も参照
フリーソフトウェア財団は自由ソフトウェアの理想を社会に共有するため、自由ソフトウェア運動という形で社会運動をしている。
自由ソフトウェア運動を定義付ける「自由ソフトウェアの定義」を含む多くの文書を維持管理している。
Defective by Design（DbD）は、DRM（Digital Rights Management、デジタル著作権管理）は「権利を奪い、制限するよう設計されている」という見解から、この用語をDRM（Digital Restrictions Management、デジタル制約（制限）管理）と再定義し、DRMおよびソフトウェア特許に対抗する先駆けとなる運動である。
BadVistaは、Microsoft Windows Vistaへの移行に反対し、Defective by Designの問題を社会に広めて自由ソフトウェアへの置き換えを促進する運動である。
ルック・アンド・フィールなどをはじめとするユーザインタフェースの著作権などを含むソフトウェア特許は「ソフトウェア利用者の自由」を阻害するものであるとして、ソフトウェア特許に対抗する多くの社会運動を支援している。
Ogg+Vorbisを推進する運動を提起して、MP3やAACなどのプロプライエタリファイルフォーマットに取って代わるべき自由なデジタル音声ファイルフォーマットであるとしている。
活動 > GNUプロジェクト

→詳細は「GNUプロジェクト」を参照
GNUプロジェクトは、GNUオペレーティングシステム (The GNU Operating System) を開発している。これと直接関連するソフトウェアであるGNUツールチェーン、GNU Hurd、glibcが現在までの主要な成果である。2013年5月現在、当プロジェクトのウェブ・サイトでは、「フリーソフトウェア財団」でなく、カタカナでひらいた「フリーソフトウェアファウンデーション」の表記が見える。
GNUライセンスはフリーソフトウェア財団 (FSF) およびGNUプロジェクトが提供するライセンスである。GNU General Public License（GNU GPL、単にGPL）は自由ソフトウェアプロジェクトに幅広く採用されているライセンスである。現行バージョン（バージョン3）は2007年6月にリリースされた。FSFはまた、GNU Lesser General Public License（GNU LGPL、単にLGPL）、GNU Free Documentation License（GNU FDL、GFDL）、そしてGNU Affero General Public Licenseバージョン3 (GNU AGPLv3) も公開している。
GNU Pressは、FSFの出版部門であり、「自由に頒布可能なライセンスを採用した計算機科学の書籍を手ごろな値段で発刊すること」を責務としている。
GNU Savannahは、ウェブサイト上にソフトウェア開発プロジェクトをホストしている。
活動 > GNUライセンス違反是正

1991年から2001年まで、GPLの違反は、非公式に、通常ストールマン自身により、しばしばFSFの弁護士エベン・モグレンからの助言を受けて是正されていた。[要出典]典型的なことに、この期間のGPL違反はストールマンと違反者とが電子メール数通を交換することで解決されていた。[要出典]
2001年後半、当時のFSFの執行役員(Executive Director)であったブラッドリー・M・クーンは、モグレン、デイヴィッド・ターナー(David Turner)そしてピーター・T・ブラウンらの助言を受けて、これらの成果を生かし、FSF GPL コンプライアンス・ラボ(GPL Compliance Labs)という組織として正式に発足させた。
この間、GPL遵守と関連する、GPL違反是正ならびにライセンスの啓蒙活動は、FSFの活動における主要な焦点だった。
2003年から2005年にかけて、GPL自体の条文説明並びにその法的側面を解説する法律セミナーを開催していた。大抵は、ブラッドリー・M・クーンとダニエル・ラヴィチャー（英語版）が教鞭を振るっていたが、このセミナーは生涯法曹教育（英語版）（Continuing legal education, CLE）認定を受け、GPLの法的な教育活動として正式な認定を受けた最初の成果であった。
FSFはGNUコンパイラコレクションなど、GNUシステムにとって非常に重要となるさまざまなソフトウェア群の著作権を保持している。FSFは（あくまで保持しているこれらソフトウェアのみの）著作権者として、とりわけGNU General Public License (GPL)で許諾されているソフトウェアに対し、そのライセンス違反に起因する著作権侵害が発生すれば、GPLの強制（エンフォースメント）を行使できる唯一の存在である。その他のソフトウェア・システムの著作権者がGPLを彼らのライセンスとして採用した場合、FSFはそのライセンスを受けているソフトウェアの著作権的利益を保護すべしと力説し、通常割り込んで来る唯一の組織だったのだが、2004年にハラルト・ヴェルテが同様の組織gpl-violations.orgを立ち上げている。
活動 > Free Software Directory

→詳細は「Free Software Directory」を参照
Free Software Directoryは、自由ソフトウェアであることが検証されたソフトウェアパッケージのリストである。各パッケージのエントリにはプロジェクトホームページ、開発者、プログラミング言語など47の情報を含む。自由ソフトウェアの検索エンジンを提供すること、そして、パッケージが自由ソフトウェアであるかの調査を行うためユーザーに相互参照を与えることを目標としている。FSFはこのプロジェクトのため、UNESCOより若干の資金援助を受けていた。将来的にはディレクトリが多くの言語に翻訳され得ることを望まれている。[誰によって?]
活動 > 最優先度プロジェクト

「自由ソフトウェアコミュニティの注目を集めるのに極めて重要」と主張する「最優先度プロジェクト」のリストをFSFは維持管理している。FSFはこれらのプロジェクトを「コンピュータユーザは頻繁に非自由ソフトウェアの利用の誘惑に駆られており、フリーな置き換えが不十分である理由により、重要である」とし、「高い優先度」を持つとされる各種自由ソフトウェアプロジェクトを支援している。
以前、作業が必要とされるとして注目されていたプロジェクトには、OpenOffice.orgやGNOMEデスクトップ環境のJava依存部の互換性を保証するため、フリーなJava実装（英語版）、GNU Interpreter for Java、GNU ClasspathそしてGNU Compiler for Javaが含まれていた（本項の詳細は、英語版ウィキペディアの記事"License of Java"を参照せよ）。[要出典]
しかし、後日あるプロジェクトが最優先度リストに加えられたものの、活発な開発につながっておらず、また、プロジェクトがのんびりと進められている状況を見て、本活動が本当に効果を発揮しているのか批判する者もいる。
活動 > 表彰

→詳細は「FSFフリーソフトウェア賞」を参照
FSFは毎年自由ソフトウェア界に大きな貢献を与えた人物・組織にそれぞれつぎの賞を授与している。
"Award for the Advancement of Free Software"
"Free Software Award for Projects of Social Benefit"
批評と論争 > 受賞

1999年、Linus Torvalds Award for Open Source Computingという賞を授与した。
2005年、アルス・エレクトロニカは当団体の長年にわたる自由ソフトウェア運動を顕彰し、プリ・アルス・エレクトロニカ デジタル・コミュニティ部門 栄誉賞（Prix Ars Electronica Award of Distinction in the category of "Digital Communities"）を授与した。
批評と論争 > GPLライセンス違反

2002年から2004年にかけて、LinksysそしてOpenTV（英語版）によるものといった明確なGPL違反事例が続出するようになった。
批評と論争 > SCOの訴訟

→詳細は「SCO・Linux論争」を参照
2003年3月、SCOはIBMを提訴した（英語版）。提訴事由は、IBMが、FSFのGNUソフトウェアを含む、様々な自由ソフトウェアに貢献を行っていたが、それがSCOの権益を侵害するものであるとの主張である。FSFは訴訟の当事者ではなかったが、FSFは2003年11月5日、召喚令状を受け取った。2003年から2004年にかけて、FSFは当訴訟に対抗し、自由ソフトウェアの採用と移行に対する負の影響を押さえ込むためかなりの擁護活動を行った。
批評と論争 > シスコの訴訟

→詳細は「フリーソフトウェア財団対シスコシステムズ事件」を参照
2008年12月、FSFは、シスコがGPLで保護された（FSFが著作権を持つ）コンポーネントを利用し同社Linksys製品と共に出荷したことに対し、（ライセンス違反による著作権侵害で）提訴した。シスコは2003年にライセンスの問題について通知されていたが、シスコはGPLの条項による義務を繰り返し無視した。2009年5月、シスコは、FSFへの金銭的支払い、シスコがライセンス遵守を実践しているかの継続的調査を指揮する自由ソフトウェア監査役(Free Software Director)の任命という和解案に合意し、FSFは訴状を取り下げた。
批評と論争 > 批判

2004年10月にLinux kernel mailing list（英語版）に投稿したメールからも分かるとおり、リーナス・トーバルズは以前からストールマンとGPLの違反是正活動を批判している。また彼は2011年5月、Linuxfr（フランス語版、英語版）のインタビューにおいて、FSFが制定したGPLv3の反DRM的姿勢を批判しており、（リーナス自身もDRMが嫌いであることは自認しているが）いくらDRMを嫌悪しているとはいえ、ライセンスをDRM攻撃の武器にするべきではない、コンテンツの自由な利用やハードウェアに関連するDRMの問題点とソフトウェアのみに関係するライセンスの問題点をない交ぜにすべきではない、と述べている。
2009年7月22日、Linux Magazine誌のクリストファー・スマート(Christopher Smart)が、マイクロソフトがLinuxカーネルにコードを提供したことに関連して、リーナスにインタビューしたところ、彼は自由ソフトウェアと関連付けられるのを毛嫌いしており、それは「過激な」思想の運動だと批判した、と伝えられた。
2010年5月2日、ZDNetのエド・ボット(Ed Bott)は、FSFはPlayOgg運動の最初の時点でいくつか事実誤認しており、彼らは誤った情報を故意に得ようとしていた上でプロプライエタリフォーマットの作成元を非難した、というFSFを批判する記事を同サイトで公開した。FSFは運動の一環として、MP3に関する特許権侵害訴訟であるアルカテル・ルーセント対マイクロソフト事件（英語版）の結果、裁判所が被告のマイクロソフトに原告のアルカテル・ルーセントへの15億ドルの支払いを命じた件について言及したが、エドはこれが「真っ赤な嘘」であると主張した。なぜなら、マイクロソフトの特許権侵害が裁判で認定され、侵害に対する損害賠償を命じられたのは事実だが、のちにこの裁判が覆されたことをFSFは述べていなかったからである。またエドは、FSFがRealPlayer、Windows Media PlayerそしてiTunesといったメディアプレーヤーをターゲットに「フォーマット批判」を根拠なく主張したこと（FSFはこれらプレーヤーが専用のプロプライエタリなフォーマット、例えばWMPならばWMA、をユーザに強制しようとしているという誤った主張をした）について、FUDであると非難した。加えて、RealPlayer、iTunesそしてWMPのプライバシー侵害に関する問題が広く報告されているにもかかわらず、彼はこのようなソフトウェアがユーザを覗き見しているというFSFの主張については「純然たるFUD」であると述べ、「根拠無き相当酷い言い掛かり」であると述べた。
2010年6月16日、Linux Magazine誌のジャーナリスト、ジョー・ブロックマイアー(Joe Brockmeier)は、Defective by DesignなどFSFが運動と呼ぶ彼らの行為について、「ネガティヴ」であり「幼稚」であるとし、ユーザーに提供するプロプライエタリソフトウェアを「説得力を持って取り替える」ものは十分にはない、と批判した。
関連団体

協力関係にある団体を世界中に有する。
Free Software Foundation Europe
Free Software Foundation of India
Free Software Foundation Latin America
日本では、GNU関連書籍を出版していたビレッジセンターの招請により、ストールマンは訪日している。ここより、GNUソフトウェアの普及、自由ソフトウェア運動の推進などが図られ、フリーソフトウェアイニシアティブやインターネットブラウザであるMozillaなどの日本語化などを行う、もじら組が結成されている。
gNewSenseはFSFに公式に支援されているLinuxディストリビューションである。
鈴木工務店 (静岡県三島市)

| --- | --- |
 
種類:  株式会社
本社所在地:   日本 〒411-8577 静岡県三島市八反畑117番地の1  北緯35度5分59.72秒 東経138度55分23.9秒﻿ / ﻿北緯35.0999222度 東経138.923306度﻿ / 35.0999222; 138.923306座標: 北緯35度5分59.72秒 東経138度55分23.9秒﻿ / ﻿北緯35.0999222度 東経138.923306度﻿ / 35.0999222; 138.923306
設立:  1975年12月 （創業:1958年5月）
業種:  建設業
法人番号:  9080101015609 
事業内容:  総合建設事業 不動産開発事業
代表者:  千葉愼二（代表取締役会長） 冨田浩夫（代表取締役社長）
資本金:  8,000万円
純利益:  308万9,000円 （2024年3月期）
総資産:  17億442万1,000円 （2024年3月期）
従業員数:  47名（2016年5月現在）
決算期:  3月31日
関係する人物:  鈴木菊三郎（創業者）
外部リンク:  http://www.szki.co.jp/
特記事項：AS-SZKiから建設事業等を吸収分割により事業承継
テンプレートを表示
株式会社鈴木工務店（すずきこうむてん、英: SUZUKI CONSTRUCTION CO.,LTD.）は静岡県三島市に本社を置く建設業者。
概要

本社 - 静岡県三島市八反畑117番地の1
主要取引銀行
静岡銀行、三島信用金庫
許認可等
建設業許可/静岡県知事許可（特-31）第36627号
　（建築、大工、左官、とび・土工、石、屋根、タイル・れんが・ブロック、鋼構造物、鉄筋、板金、ガラス、塗装、防水、内装仕上、熱絶縁、建具、解体　工事業）
建設業許可/静岡県知事許可（般-28）第36627号
　（土木、舗装、水道施設　工事業）
宅地建物取引業免許/静岡県知事免許（2）第13332号
一級建築士事務所登録/静岡県知事登録（2）第7202号
ISO9001：2015認証
ZEHビルダー登録
経営理念

繁栄のおてつだい
　お客様が栄えて　会社も栄える　皆んなで築こう　幸せの拠りどころ
沿革

1958年5月 - 鈴木工務店を創業（設立1959年5月）
1967年8月 - 静岡県三島市八反畑117番地の1（現在地）に本店移転
1971年4月 - 株式会社鈴和開発を設立
1975年8月 - 有限会社鈴和設計事務所を設立
1975年12月 - 有限会社菊物産を設立
1989年4月 - 株式会社ゆう企画を設立
1991年4月 - 鈴木工務店、鈴和設計事務所、鈴和開発の3社を合併
1993年4月 - 鈴木興業（南京）有限公司を設立
1993年12月 - 株式を店頭公開（現ジャスダック）
1997年12月 - 五朋建設株式会社（静岡県静岡市）の株式を取得（現在は解消）
2005年5月 - 株式会社アパマンショップネットワーク（現アパマンショップホールディングス、東京都千代田区）と資本・業務提携
2007年4月 - 鈴木工務店の社名を「株式会社AS-SZKi」に変更
2007年6月 - AS-SZKiが株式会社ASNアセットマネジメント（東京都中央区）を吸収合併
2011年3月 - 菊物産の社名を「株式会社鈴木工務店」に変更
2011年4月 - AS-SZKiがスクイーズアウトの実施により上場廃止
2011年7月 - 鈴木工務店がAS-SZKiの建設事業及び開発事業を吸収分割により事業承継
2012年4月 - リフォーム事業の営業開始
関連企業

株式会社ゆう企画（静岡県三島市）
脚注・出典

1 2  株式会社鈴木工務店 合併広告
↑  『建通新聞』1991年3月29日
↑  『日本経済新聞』1993年3月28日
↑  『日本経済新聞』1993年11月20日
↑  『日本経済新聞』1997年11月14日
↑  『日本経済新聞』2005年5月26日
↑  『静岡新聞』2007年1月18日
↑  『静岡新聞』2007年6月2日
↑  『日本経済新聞』2011年1月26日
↑  『日本経済新聞』2011年7月1日
↑  『日本経済新聞』2012年7月6日
Necrobarista

| --- | --- |
ジャンル:  ビジュアルノベル
対応機種:  iOS (Apple Arcade) Windows (Steam, GOG.com) [最期の一杯] Nintendo Switch
開発元:  Route 59
発売元:  iOS Route 59 iOS以外  PLAYISM  Coconut Island Games（中国語版）
プロデューサー:  Simon Tran
ディレクター:  Kevin Chen
シナリオ:  Damon Reece Justin Kuiper（Walking to the Sky, Devil's Den, 記憶） Saf Davidson（Walking to the Sky, Devil's Den）
プログラマー:  Ryan Boulton
音楽:  ケビン・ペンキン Jeremy Lim
美術:  Ngoc Vu（リードアーティスト） Joe Liu（3Dアーティスト）
人数:  1人
発売日:  iOS 2020年7月18日 Win 2020年7月22日 Switch  2021年8月11日  2021年8月12日
対象年齢:  iOS：12+ IARC：16+ ESRB：T（13歳以上） PEGI：16 USK：12（12歳未満提供禁止） ACB：M
コンテンツアイコン:  IARC：激しい暴力 ESRB：Language, Violence, Suggestive Themes, Use of Alcohol and Tobacco PEGI：Strong Violence USK：Gewalt, Explizite Sprache, Sexuelle Andeutungen, Kriegsthematik ACB：Coarse Language, Mature Themes
エンジン:  Unity
テンプレートを表示
『Necrobarista』（ネクロバリスタ）は、オーストラリアのインディーゲームスタジオRoute 59が開発したビジュアルノベル。追加シナリオなどの新規要素を含むバージョンは『ネクロバリスタ: 最期の一杯』（英：Necrobarista - Final Pour -）のタイトルで発売されている。
概要

オーストラリアのメルボルンの町カールトン（英語版）にある架空のカフェ「ターミナル（The Terminal）」を舞台とする物語。このカフェは生者と死者がともに訪れる特異な場所で、死者が死後の世界へ渡るまでの時間を過ごす停留所にもなっている。こうした環境の中で、バリスタの女性マディと仲間たちのやり取りを中心とした、生と死にまつわる群像劇が展開される。
従来のビジュアルノベルは2Dグラフィックを用いたものが多いが、本作は3Dアニメを多用している。また、台詞などのテキストは従来作品のように表示位置が固定されておらず、場面ごとに様々な場所に表示される。
システム

本作には、一般のビジュアルノベルのようなシナリオ分岐はない。表示テキストの一部の単語は色違いになっており、これをチェックするとその単語に関する補足情報が表示される。
物語の区切りとなる場面では、ターミナルの内部を1人称視点で歩き回ることができるパートが挿入される。店内の特定の場所を調べると、ターミナルの人々に関する「記憶」（テキストのみのサイドストーリー）を閲覧できる。ただし、ソフトの通常版では、それまでチェックした単語のいくつかを指定することが閲覧解除の条件になっている。『最期の一杯』ではこの解除の仕様がなくなり、すぐに閲覧できる。
発売後の追加シナリオとして、第1弾「Walking to the Sky」と第2弾「Devil's Den」が無料配信された（『最期の一杯』には初めから収録されている）。前述の1人称視点パートで関連人物をチェックすることで各シナリオに移行する。シナリオの内容は本編と完全に独立している。
世界観

前述のようにターミナルには生者と死者が訪れ、両者は外見では見分けがつかない。
死者がターミナルに滞在できるのは24時間までとされているが、実際にはそのルールは厳守されていない。作中世界では時間の売買や交換が可能で、他から時間を得ることができればより長く滞在できる。また、ターミナル側の温情によってルール違反を見逃す場合もあるが、この際、超過した時間は店側の「負債」という扱いになる。
作中では「死の評議会」と呼ばれる組織がある。これは死についての中立性を監視するもので、滞在時間を超過した死者の追跡やターミナルに対しての「負債」の取り立てを行う。なお、評議会メンバー自身も死者であるが、組織からの永続的な束縛を受けることと引き換えに滞在を許されている。
開発

本作の企画はディレクターのKevin Chenが発案し、彼と同じ学校でUnityのクラスを受講していたNgoc VuとJoe Liu、そしてインターネット上のビジュアルノベルフォーラムで出会ったJustin Kuiperがそれぞれリードアーティスト、3Dアーティスト、シナリオライターとして開発に参加した。
舞台となるカフェがあるメルボルンは実際にカフェやコーヒーの文化が根付いており、また、開発元のRoute 59の所在地でもある。開発メンバーは、小さいチームによる開発で大きな舞台を扱うのは難しいとの考えから舞台を一つの建物に絞り、メルボルンの実在のカフェ「Krimper Cafe」をモデルとした。
前述のように本作はテキスト表示の仕方が他のビジュアルノベルに比べ特徴的で、フォントの種類、パラグラフ（文章のひとかたまり）を区切る場所、表示する際のエフェクトにもこだわりがある。リードアーティストのVuは、ゲームの面白さだけでなく文章が綺麗だと思ってほしいとし、テキストが美しいビジュアルノベル作品の例として『ファタモルガーナの館』と『Quartett!』を挙げている。
開発メンバーは日本のアニメや漫画に対する愛情を共有しており、それが作品内容に反映されている。特に映像表現については『魔法少女まどか☆マギカ』や『〈物語〉シリーズ』などシャフトが手掛けたアニメ作品の影響があり、最小限のアニメーションを用いて表現する手法や、登場人物ではなく物体を強調することで物語を伝える視覚表現に触発されている。前述の作品で監督を務めた新房昭之について、ディレクターのChenは「私が本当に尊敬する非常にユニークな編集スタイルを持っている」と評している。
受賞

TGS 2017 ファミ通賞,ゲームの電撃アワード,4Gamerアワード インディー部門 ノミネート
Freeplay Independent Games Festival（英語版） 2019 「Excellence in Visual Art」受賞
IND13 Awards 2020 「Best Writing」ノミネート
Golden Joystick Awards 2020 「Best Indie Game」ノミネート
Australian Game Developer Awards 2020 「Best Art」受賞、「Best Narrative」「Game of the Year」ノミネート
テトレーション

テトレーション（英: tetration）とは、冪乗の次となる4番目のハイパー演算である。つまり、自らの冪乗を指定された回数反復する二項演算である。超冪（ちょうべき）ともいう。テトレーションという語はルーベン・グッドスタインによって、「4」を意味する接頭辞 tetra- と「繰り返し」を意味する iteration から作り出された。
定義

任意の正の実数 a > 0 および非負整数 n ≥ 0 に対し、次のようにテトレーション na を再帰的に定める。
冪乗の演算が右結合、すなわち 101010 のように積みあがった指数の上側から計算していくように、テトレーションの計算も na に対する n の部分から計算していく。
定義から直ちに、次の等式が成り立つ。
a と 10 が互いに素であるとき、na の最後の d 桁がオイラーの定理から求められる。
表記

テトレーションには多数の表記が存在する。テトレーションに使われる表記の中にはペンテーションやヘキセーションなど、より高次のハイパー演算の表記にも使用できるものもいくつかある。
| 名称 | 表記 | 説明 |
| --- | --- | --- |
| ルーディ・ラッカーの表記 |  {}^{n}a | マウラーとグッドスタインによって導入され、ルーディ・ラッカーの『無限と心（英語版）』で広まった。 |
| クヌースの矢印表記 |  a\uparrow \uparrow n,a\uparrow ^{2}n | 矢印または添字を増やすことで拡張できる。 |
| コンウェイのチェーン表記 |  a\to n\to 2 | 数字を増やす、またはチェーンを拡張することで拡張できる。 |
| アッカーマン関数 |  {}^{n}2=\operatorname {Ack} (4,n-3)+3 | 底が 2 のときに限り、アッカーマン関数による表記が可能。 |
| 指数関数の反復合成による表示 |  {}^{n}a=\exp _{a}^{n}(1) | 右辺の表記に関しては後述。 |
| フーシュマンドの表記 |  \operatorname {uxp} _{a}(n),a^{\underline {n}} | フーシュマンドの論文では「ultra power」（超冪）と書かれている。 |
| ハイパー演算子表記 |  a[4]n,H_{4}(a,n)  \operatorname {hyper} (a,4,n),\operatorname {hyper4} (a,n) | 数字を増やすことで拡張でき、一連のハイパー演算子を与える。 |
| ASCII表記 | a^^n | ASCII文字で表現する際、冪乗をキャレット^で表すことから。 |
| バウアーズの配列表記 |  \lbrace a,b,2\rbrace  | 拡張配列表記へと一般化でき、さらにBEAFおよびバードの配列表記へと一般化される。 |
表記 > 反復指数関数

反復指数関数（英: iterated exponential function）、あるいは反復冪（英: iterated exponential）とは指数関数の反復合成、あるいはその類似の関数およびその値を指して呼ばれる関数である。以降で表記を簡単にするため、非負整数 n と正実数 a の2つのパラメータを持つ実関数  \mathop {\mathrm {exp} } \nolimits _{a}^{n}(x) を次のように定義する：
この関数は他に次のような表記で書かれる。
| 名称 | 表記 | 説明 |
| --- | --- | --- |
| （指数の反復合成） |  \exp _{a}^{n}(x) | 指数関数の表記  \exp _{a}(x) はオイラーによる。 |
| クヌースの矢印表記 |  \left(a{\uparrow }\right)^{n}(x) | 矢印の数を増やすことで拡張できる。en:Large numbersを参照。 |
| ガリダキスの表記 |  {}^{n}(a,x) | 底の表記が小さくならない。 |
| ASCII表記 | exp_a^n(x) | 標準的な表記をベースにASCII文字のみを使用した表記。 |
| J言語表記 | x^^:(n-1)x |  |
例

以下の表では、大部分の値が指数表記による表記すら困難なほど巨大であるため、それらの表記には底を 10 とした反復指数関数を用いた。なお小数部を持つ値はすべて近似値である。
|  x |  {}^{2}x |  {}^{3}x |  {}^{4}x |
| --- | --- | --- | --- |
1: 1 (11)
| 2 | 4 (22) | 16 (24) | 65,536 (216) |
| 3 | 27 (33) | 7,625,597,484,987 (327) | 1.258015 × 103,638,334,640,024 |
| 4 | 256 (44) | 1.34078 ×10154 (4256) |  \exp _{10}^{3}(2.18726) (8.1 × 10153 桁) |
| 5 | 3,125 (55) | 1.91101 × 102,184 (53,125) |  \exp _{10}^{3}(3.33928) (1.3 × 102,184 桁) |
| 6 | 46,656 (66) | 2.65912 × 1036,305 (646,656) |  \exp _{10}^{3}(4.55997) (2.1 × 1036,305 桁) |
| 7 | 823,543 (77) | 3.75982 × 10695,974 (7823,543) |  \exp _{10}^{3}(5.84259) (3.2 × 10695,974 桁) |
| 8 | 16,777,216 (88) | 6.01452 × 1015,151,335 |  \exp _{10}^{3}(7.18045) (5.4 × 1015,151,335 桁) |
| 9 | 387,420,489 (99) | 4.28125 × 10369,693,099 |  \exp _{10}^{3}(8.56784) (4.1 × 10369,693,099 桁) |
| 10 | 10,000,000,000 (1010) | 1010,000,000,000 |  \exp _{10}^{4}(1) (1.0 × 1010,000,000,000 桁) |
微積分

テトレーション na に対する a は正の実数に対して定義できるので、n を固定したときにそれぞれ微分と積分が定義できる。
微積分 > 高さが定数の微分

任意の正の整数 n に対し、 nx の微分は次のようになる。
微積分 > 高さが定数の積分

1/2x、 2x の 0 から 1 までの定積分は二年生の夢と呼ばれる。
任意の正の整数 n に対し、nx の不定積分は次のようになる。
ここで aj,k は
で与えられる有理数であり、 bj (x) は第2種不完全ガンマ関数を用いて
で与えられる。
拡張

テトレーションは、高さが正の整数以外の場合に拡張できる。
拡張 > 底が0

0の0乗が単純には定義できないため、 n0 は直接定義できないが、極限が
と収束するため、
と定義する。（ここで、2Z、2Z+1 はそれぞれ偶数、奇数の集合を表す。）
なお、ここで 00 が一意に決まらないにもかかわらず 20 (= 00) が定義できるのは、 ab の a と b が等しいという条件下で極限を取ったからである。
拡張 > 底が複素数

複素数の累乗が可能なことから、テトレーションは複素数の底に対しても定義できる。
例えばテトレーション ni は対数関数の主枝を用いて定められる。このときオイラーの公式から次の式が得られる。
従って任意の ni = a + bi に対して n + 1i = a′ + b′i が次のように再帰的に定義できる。
ここから以下の近似値が導かれる。
|  ^{n}i | 近似値 |
| --- | --- |
 {}^{1}i=i:  i
 {}^{2}i=i^{\left({}^{1}i\right)} :  0.2079
 {}^{3}i=i^{\left({}^{2}i\right)}:  0.9472+0.3208i
 {}^{4}i=i^{\left({}^{3}i\right)}:  0.0501+0.6021i
 {}^{5}i=i^{\left({}^{4}i\right)}:  0.3872+0.0305i
 {}^{6}i=i^{\left({}^{5}i\right)}:  0.7823+0.5446i
 {}^{7}i=i^{\left({}^{6}i\right)}:  0.1426+0.4005i
 {}^{8}i=i^{\left({}^{7}i\right)}:  0.5198+0.1184i
 {}^{9}i=i^{\left({}^{8}i\right)}:  0.5686+0.6051i
同様に値を逆向きに求めていくことで 0i = 1、 −1i = 0 が得られる。 ni の値を複素平面上にプロットすると、点列は渦巻状に極限値 0.4383 + 0.3606i へと近づく。この値は n→∞ のときと解釈できる。
このようなテトレーションの列に関する研究はオイラーの時代から続けられてきているものの、そのカオス的な振る舞いのために不明な所が多い。これまでに発表された研究のほとんどは、無限反復指数関数の収束について焦点を当てたものである。現在の研究は高性能のコンピュータを用いたフラクタルと数式処理システムの出現に大きな恩恵を受けている。テトレーションについて分かっていることの多くは、複素力学系の一般的な知識と、指数写像の専門的な研究によるものである。
拡張 > 高さが無限大

ある範囲の底 a に対して limn→∞ na は有限の値に収束するので、この範囲においてテトレーションは高さ無限大の場合へ拡張できる。例えば limn→∞ n(√2) は収束して、その値は 2 であるから、 ∞(√2) = 2 であると言える。
一般に無限反復指数関数  x^{x^{\cdot ^{\cdot ^{\cdot }}}} は、 n が無限大に向かうときの nx の極限として定義される。これが e−e ≤ x ≤ e1/e （およそ 0.066 から 1.44）の範囲で収束することはオイラーによって示された。
極限値 ∞x が存在するとき、これは方程式
()
を満たす正の実数に等しい。
式(1)より x = (∞x)1/∞x であり、このとき右辺の最大値が e1/e であることから、 x > e1/e については極限値が存在しないことがわかる。また  x\mapsto {}^{\infty }x は  y\mapsto y^{1/y} の逆関数（の分岐の下部）であることがわかる。
式(1)から、極限値 ∞z をランベルトのW関数 W を用いて次のように定義することで複素数の底 z に対しても拡張される。
()
拡張 > 高さが非正

定義より
が成り立つので、この関係を k ≤ 0 に対しても帰納的に拡張し
と定義する。
ただし、定義できるのは n = −1 までで、log 0 が存在しないため n = −2 に対しては定義できず、従って n ≤ −2 に対して拡張できない。
拡張 > 高さが実数

テトレーションを高さ実数または複素数へ拡張する、という一般的な問題への広く受け入れられた解答は今のところ存在しない。いくつかのアプローチについて以下で述べる。
一般にこの問題は任意の実数 a > 0 に対し、実数 x > −2 で定義され、次の条件を満たす超指数関数 f (x) = xa を求めるものである。
f (0) = 1、 f (−1) = 0
任意の実数 x > −1 に対し f (x) = a↑↑(f (x−1))
三つ目の条件は通常次の中のどれかである。 任意の実数 x > 0 に対して \displaystyle {{\frac {\mathrm {d} ^{2}}{\mathrm {d} x^{2}}}f(x)>0} が成立する。
連続性（通常は x > 0 における a、 x についての連続性）
微分可能性（x についての 1、 2、 k 回または無限回微分可能性）
正則性（x についての 2 階微分可能性を含む）
三つ目の条件は著者およびアプローチによって異なる。実数高さへの拡張には二つの主要なアプローチが存在し、一つは正則性、もう一つは微分可能性に基づいたものである。これらの二つのアプローチは、相反する結果を導くことから互いに大きく異なるとされ、調和は難しいと考えられている。
長さ 1 の区間で xa が定義されれば、任意の x >−2 に対し容易に拡張される。
拡張 > 高さが実数 > 一次近似

一次近似（連続性のもと微分可能性を近似）は次のように与えられる。
ゆえに
| 近似 | 定義域 |
| --- | --- |
 {}^{x}a\approx x+1:  -1<x<0
 {}^{x}a\approx a^{x}:  0<x<1
 {}^{x}a\approx a^{a^{x-1}}:  1<x<2
 \vdots 
と以下続く。但しこの微分可能性はあくまで区分的なものである。整数 x を境に微分係数が ln a 倍されるため、（a = e の場合を除いて）整数 x において微分不可能となる。
以下は値の計算例である。
拡張 > 高さが実数 > Ultra exponential function

フーシュマンドは ultra exponential function という関数を導入した。
これはテトレーションの一次近似を表し、 uxpa (x) と表記される。 uxpa は、次の定理によって一意に定められる。
定理 ― 
 0<a\neq 1 に対し、連続な関数  f\colon (-2,+\infty )\to {\mathbb {R} } が条件
任意の実数  x>-1 に対し  f(x)=a^{f(x-1)}
f(0)=1
f は  (-1,0) で微分可能
f' は  (-1,0) で広義単調増加か広義単調減少
\lim _{x\to 0+}f'(x)=(\ln a)\lim _{x\to 0-}f'(x)
を満たすとき、 f は次の方程式によって一意に定まる。
但し  [x] はガウス記号であり、また  \lbrace {x}\rbrace =x-[x] である。
証明は、三番目から五番目の条件より f が [−1, 0] で線型となることから従う。
フーシュマンドはさらに次のような一意性定理を導いた。
定理 ― 
連続な関数  f\colon (-2,+\infty )\to {\mathbb {R} } が条件
任意の  x>-1 に対し  f(x)=e^{f(x-1)}
f(0)=1
f は  (-1,0) で下に凸
\lim _{x\to 0-}f'(x)\leq \lim _{x\to 0+}f'(x)
を満たすとき、 f は  \operatorname {uxp} (=\operatorname {uxp} _{e}) に等しい。
証明は先とほぼ同様である。漸化式より  \lim _{x\to -1+0}f'(x)=\lim _{x\to +0}f'(x) となること、三番目の条件より f が (−1, 0) で線型となることから従う。
定理より、 x >−1 に対し f (x) = exp (f (x−1)) および f (0) = 1 であって、かつ (−1, +∞) で下に凸であるような関数 f は唯一 uxp のみである。f が十分微分可能であるためには (−1, 0) で極値を持つ必要がある。
拡張 > 高さが実数 > より高次の近似

（微分可能性についての）二次近似は次のように与えられる。
これは任意の x > 0 について微分可能であるが二階微分可能でない。a = e のときこれは一次近似に等しくなる。
三次近似および高次への一般化は次のように与えられる。
拡張 > 高さが複素数

次の条件を満たす関数 F が一意に定まる事が証明されている 。
F (z + 1) = exp (F (z))
F (0) = 1
z→±i∞ のとき F (z) が対数関数の不動点（およそ 0.318 ± 1.337i ）に近づく
実数 z < −2 を除く複素平面全域で正則
この関数 F を右図に示す。また、底が e ではない場合についても、底が e^{1/e}よりも大きい場合については同様に証明されている。倍精度浮動小数点数近似はオンラインで公開されている。
拡張 > 高さが複素数 > 一意性

テトレーションを一意に定めるためには正則性の条件が重要となる。いま、関数 F に対し関数 S を次のように構成する。
ここで αn、 βn は十分速く減衰する実数列であり、少なくとも実軸の近くで A (z)、 B (z) を収束させるとする。
この関数 S は F と同様に最初の二つの条件 S (z + 1) = exp (S (z))、 S (0) = 1 を満たす。また αn、 βn が十分速く 0 に近づくとき、S は正の実軸近傍で解析的となる。しかし αn、 βn が全て 0 でない場合、S は新たに大量の特異点と不連続線を複素平面上に持つことになる。これは sin (z)、 cos (z) が虚軸に沿って指数関数的に増大するためである。これらの特異点は αn、 βn が小さければ小さいほど実軸から離れていくため、 S が正則であるためには全ての αn、 βn が 0となる、即ち S = F であればよい。
実解析上のテトレーションは一意的に定まらないので、複素平面への拡張は一意性に必要である。
未解決問題

nπ, ne が整数になるような正の整数 n は存在するか。特に 4π(≈9.080222455390617769723931713×10666262452970848503) は整数か[要出典]。
与えられた自然数 nと q\in \mathbb {Q} \cap \left(\left(0,\infty \right)\setminus \mathbb {Z} \right)に対し、 ^{n}qは整数か。 特に 4x = 2 の正の解 x は有理数か[要出典]。
逆関係

冪は冪根と対数の二つの逆関係を持つ。これに倣って、以下テトレーションの逆関係をそれぞれ超冪根（英: super-root）と超対数（英語: super-logarithm）と呼ぶ。
逆関係 > 超冪根

超冪根はテトレーションの底に関する逆関係である。
逆関係 > 超冪根 > 超平方根

超平方根（英: super square root）は 2x の逆であり、二つの等価な表記 ssrt(x), √xs を持つ。
この関数は次のようなランベルトのW関数による表示を持つ。
またこの関数により、冪根と対数の間の鏡映的な関係が表れる。次の方程式は y = ssrt x のときに真となる。
平方根と同様に超平方根は一つとは限らない。ただし、平方根と異なり超平方根の個数を決定するのは容易とは言えない。一般に、e−1/e < x < 1 のとき x は二つの正の超平方根を 0 と 1 の間に持ち、1 < x のとき x は 1 より大きい一つの正の超平方根を持ち、0 < x < e−1/e のとき x は超平方根を実数の範囲で持たない。しかし上の式より、任意の  x (≠ 1)  は可算無限個の超平方根を複素数の範囲で持つことが従う。
超平方根はネットワークのクラスタサイズを決定するのに使用される。
逆関係 > 超冪根 > その他の超冪根

任意の整数 n > 2 に対して nx は定義され、x ≥ 1 のとき増加となり n1 = 1 を満たす。従って x ≥ 1 のとき n√xs は存在する。しかし上述した一次近似を用いた場合、−1 < y ≤ 0 のとき yx は x によらず y + 1 となり、従ってこの場合 x = y√y + 1s は存在しない。
超平方根のほか n 次の超冪根も同様の記号を用いて n√xs と表すことができる。
超冪根は高さが無限大の場合へと拡張することができ、これは 1/e ≤ x ≤ e の場合に限り問題なく定義される（#高さが無限大を参照）。∞x が存在するとき ∞x = x∞x が成り立つことから、無限次の超冪根は初等関数によって ∞√xs = x1/x と表すことができる。例えば ∞√2s = 21/2 = √2 となる。
n を任意の正の整数とするとゲルフォント＝シュナイダーの定理より、超平方根 √ns は整数または超越数となり、超立方根 3√ns は整数または無理数（これが超越数かどうかは知られていない）となる。
逆関係 > 超対数

超対数はテトレーションの高さに関する逆関係である。
テトレーション xa を x に関して連続的に増加するものとして定義すると、任意の実数 x に対し超対数 sloga x (a > 1) が定義される。
この関数 sloga x は以下の式を満たす。
さらなる拡張

テトレーションは a\uparrow ^{2}b\uparrow ^{2}\cdot \cdot \cdot \uparrow ^{2}zという風に拡張できる。そしてテトレーションの回数を数え上げるペンテーションを定義することができ、 a\uparrow ^{3}bと表せる。
同じようにヘキセーションも定義できる( a\uparrow ^{4}b)。この拡張を一般化してクヌースの矢印表記ができる。
またテトレーションはハイパーE表記で a\uparrow \uparrow x=E(a)a\#xと書ける。
区間 x ∈ (0, 1] における y = xx と y = x−x のグラフ。
収束または振動する点
発散する点
e^{-e}\leq x\leq e^{1/e} における  \textstyle \lim _{n\to \infty }{}^{n}x のグラフ
関数  \left|{\frac {\mathrm {W} (-\ln {z})}{-\ln {z}}}\right| の複素平面上のグラフ。実数値無限反復指数関数を黒い曲線で示した。
xa の一次近似によるグラフ（a = 4, e, 2, 1.5, 0.5）。漸近線はx = -2
xa の二次近似によるグラフ（a = 4, e, 2, 1.5, 0.5）
複素平面上にテトレーション  f=F(x+iy)を解析接続したものを描画。  |f|=1,e^{\pm 1},e^{\pm 2},\ldots と \arg(f)=0,\pm 1,\pm 2,\ldots を太い曲線で示した。
y = √xs のグラフ。