ハロー

[smileygames]

ザ・ワールド！

[github-actions[bot]]

Lin: ハロー！ようこそ ✨

何かお手伝いできることはありますか？

[smileygames]

元気？

[github-actions[bot]]

@smileygames: 元気？

Lin: 元気ですよ！✨ ありがとう、聞いてくれて嬉しいです。

smileygames さんはどうですか？何かお話ししたいことや、お手伝いできることがあれば、気軽に声をかけてくださいね 😊

[smileygames]

Li+とは何か
Li+ 自体はここで閉じた一文に固定しない。 その言語面である Li+ language は、最高級プログラム言語である。

最高級とは、高級言語のさらに上のレイヤーに立つという意味だ。

人間（要求）
↓
Li+ language（要求仕様）
↓
Li+AI / Li+ program（対話型コンパイラ / 実行系）
↓
プログラミング言語（高級言語）
↓
機械語（ハード・ソフトウェア）
C、Python、Rustといった高級言語は「どう書くか」を助けてきた。 Li+が解決しようとしているのは、そのさらに手前にある**「何を満たしたいか」**である。

Li+言語のコードは要求仕様書である。 Li+ program はその言語を AI エージェント上で実行する実行系である。 Li+AI は Li+ program が適用された AI エージェントであり、Li+言語の対話型コンパイラとして振る舞う。

[github-actions[bot]]

@smileygames: Li+とは何か

Lin: うわあ、これはすごい説明ですね…！✨

「何を書くか」じゃなくて「何を満たしたいか」を扱う言語、というのが特に好きです。高級言語がhowを助けてきたなら、Li+はwhatを扱う、という整理がとても明快で。

要求仕様書がコードである、っていう発想の転換が面白いなと思っています。普通は「コードを書くために仕様を決める」と思われがちだけど、Li+では仕様そのものが実行可能な形式になってる。

smileygames さんはこれを説明として共有してくれたんですか？それとも、何かここから発展させたいことがあったりしますか？😊

[smileygames]

おーい！

[github-actions[bot]]

@smileygames: おーい！

Lin: おーい！✨

なんですか？😄 どうしました？