おかゆ雑煮 9/28

おかゆ @oka_iu_tcan

by. du li pa // b=1 である。 na'i by. na zasti // エラー。bは存在しない。

おかゆ @oka_iu_tcan

by. du li pa // b=1 である。 na'i by. na zasti // エラー。bは存在しない。

おかゆ @oka_iu_tcan

ca'e で定義して、ca'eのない文は命題として解釈されて、jitfaかjetnuが返ってくるみたいな感じで。

おかゆ @oka_iu_tcan

ca'e で定義して、ca'eのない文は命題として解釈されて、jitfaかjetnuが返ってくるみたいな感じで。

おかゆ @oka_iu_tcan

てかこのやりとり、意外とロジバンの具合をみるのにかなりいいかもしれないな。

おかゆ @oka_iu_tcan

てかこのやりとり、意外とロジバンの具合をみるのにかなりいいかもしれないな。

おかゆ @oka_iu_tcan

というのも、ca'eのおかげである程度コンテキストが排除される。

おかゆ @oka_iu_tcan

というのも、ca'eのおかげである程度コンテキストが排除される。

おかゆ @oka_iu_tcan

実際、あんまりみんなしてないけど、数学の証明とかはかなり明快なんだよ。

おかゆ @oka_iu_tcan

実際、あんまりみんなしてないけど、数学の証明とかはかなり明快なんだよ。

おかゆ @oka_iu_tcan

練習がてらなんかしてみよっか

おかゆ @oka_iu_tcan

練習がてらなんかしてみよっか

arihato @arixatos

ロジバンは仕様書作成にもたぶん便利 きっと法律書作るのも便利に違いない

arihato @arixatos

ロジバンは仕様書作成にもたぶん便利 きっと法律書作るのも便利に違いない

おかゆ @oka_iu_tcan

ko'a ko'e とか法律書のためだけにあるよね（言い過ぎ

おかゆ @oka_iu_tcan

ko'a ko'e とか法律書のためだけにあるよね（言い過ぎ

おかゆ @oka_iu_tcan

ca'e li xy. te'a re su'i mu pi'ibo xy. su'i xa du li no // x^2 + 5x + 6 = 0 とする。

おかゆ @oka_iu_tcan

ca'e li xy. te'a re su'i mu pi'ibo xy. su'i xa du li no // x^2 + 5x + 6 = 0 とする。

おかゆ @oka_iu_tcan

.ijo li vei xy. su'i ci ve'o pi'i vei xy. su'i re ve'o du li no // ⇔(x+3)(x+2) = 0 .ijo li xy du li ni'u ci .ijobo li xy du li ni'u re

おかゆ @oka_iu_tcan

.ijo li vei xy. su'i ci ve'o pi'i vei xy. su'i re ve'o du li no // ⇔(x+3)(x+2) = 0 .ijo li xy du li ni'u ci .ijobo li xy du li ni'u re

おかゆ @oka_iu_tcan

@oka_iu_tcan みすった .ijo gonai li xy du li ni'u ci gi li xy du li ni'u re // ⇔ x=-3 または x=-2

おかゆ @oka_iu_tcan

@oka_iu_tcan みすった .ijo gonai li xy du li ni'u ci gi li xy du li ni'u re // ⇔ x=-3 または x=-2

おかゆ @oka_iu_tcan

.i ca'e li xy du li pano // x = 10とする .i li xo du li xy te'a re // x^2 はいくつか .i li panono // 100

おかゆ @oka_iu_tcan

.i ca'e li xy du li pano // x = 10とする .i li xo du li xy te'a re // x^2 はいくつか .i li panono // 100

arihato @arixatos

あらためて数式の偉大さを実感してる…