日本語 · English

Kairos Playground

決めたら、いつでも。
Write the rule once; list the dates.

ブラウザの中で Kairos 式を評価する(リファレンス実装をそのまま実行・サーバー送信なし)。 言語は 1.0(2026-09-14 宣言)——仕様は 言語仕様・語彙は 記述語リファレンス・学習は 教本とサンプル問題。

ここに結果が出る。

評価範囲は [from, to) の右開区間。出力の # ⚠ は範囲外出自の註釈・# 被覆サマリ はデータの残走路 (仕様 §4.10)。「URL に固定」で式込みのリンクを共有できる。 「カレンダーに入れる(.ics)」は結果をカレンダーアプリ用のファイルにする——式ごとに 1 つの繰り返し予定(全回を列挙した RDATE)・ 時刻付きの点は 0 分の予定に通知つき・範囲外の区間も予定として載る。先頭のコメント行(# …)が予定の名前になる。 PC の Google/Apple カレンダーではそのまま取り込める(Google では詳細欄が「繰り返さない」と出ても、削除は「すべての予定」でまとめて消せる。 期間を延ばして作り直したファイルを取り込み直すと、同じ予定が更新される)。スマホのカレンダーアプリで開くときは「1 点ずつ別の予定にする」 (スマホでは最初からオン)——アプリは繰り返しの回を読まず初回の 1 件だけになり、しかもその後は同じ定義を PC からも取り込めなくなる (Google カレンダーで実測 2026-10-08)。Outlook 系も「1 点ずつ」。ファイルはブラウザ内で作る(送信なし)。