ブログ「サイバー少年」

ブログ「サイバー少年」へようこそ!
小学六年生ごろからプログラミングを趣味にしている高校生のブログです。
勉強したことについての記事などを書いています。フリーソフトも制作、公開しています。
(当ブログについて詳しくは「ブログ概要紹介」を参照)

サイバー少年が作ったフリーソフトは「サイバー少年の作品展示場」へ

8月

その他で覚えた技術
・シークエント計算について少し学んだ。

コメント
またもや前回と同じですね。これ以外にも少し数学の本を読んでいたのですが、その収穫はありませんでした。なかなかスランプな時期に突入しています。シークエント計算は述語論理に関する推論規則の、固有変数条件の理解に苦戦していました。

tag:

当ブログをご利用(閲覧等)になる場合は必ず「当ブログの利用規定」をお守りください。