リストは?よくわからないんですけどこれも関数で表します。I))とするとcdrをしたことになるらしいです...。同様にconsも定義できるそうです。終了条件がわからない(lispでのpair?はどうやるの?)ので誰か教えてください。入出力は?入出力は上で紹介したチャーチ数とリスト構造を使います。LazyKのプログラムは関数を組み合わせて作られる大きな大きなひとつの関数なので、これへ引数として入力値のASCIIコードをチャーチ数で表したもののリストを入れて実行されます。その戻り値(チャーチ数のリスト)が出力というわけです。「大好き」(=i)だけのプログラムは、入力値をそのまま返すechoプログラムになったわけですね。いうかですねLazyKは情報がなさ過ぎます。ψ(プサイ)現在、このサーバは「foltia」という録画ソフトとPT2を組み合わせた、アニメ録画サーバを兼ねています。このfoltiaでは、ファイル名を以下のような形で格納しています:1725-35-20100607-1730.m2t(しょぼいカレンダの番組ID)-(話数)-(日付)-(時間).拡張子このファイル名の書式は機械が扱う分には簡単なのですが、人間が読むのはちょっとしんどいです(だって、番組ID1725って何なのか知らないし...)。(20100607-1730).m2tファイル名の書式は入力/出力ともに自由にかつ割と簡単に設定可能ですので、foltia以外でも使えるかもしれませんね。■ダウンロードgithubからDLしてください。入力ファイルのフォーマットを指定してください。出力ファイルのフォーマットを指定してください。ファイル名を実際には書き換えません。指定したファイルは除外します。上書きが必要な際に、その旨を聞きません。バージョンを表示します。こんな感じで使えます。.mp4に変換してあるのだけ処理したい。*.mp4入力ファイル名、出力ファイル名のフォーマットを指定して、カレントフォルダのファイルを処理する。\.■ファイル名のフォーマットについて入力ファイル内の”%キーワード%”で囲んだ部分の数字を読み取り、出力ファイル名の対応する”%キーワード%”に書き出します。基本的に数字縛りです。以下の例外があります。入力ファイル名で%tid%で指定した番号のアニメのタイトルを、出力側で%title%として使えます。入力ファイル名で%stid%で指定した番号のアニメのサブタイトルを、出力側で%subtitle%として使えます。%ext%は特殊で、数字以外でも受け付けます。それ故に...悔いの残らぬよう、やり遂げなさい。