ブログ「サイバー少年」

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

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

9月

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

コメント
なんとまあ、4ヶ月連続でまったく同じという大変な事態ですね。シークエント計算は述語論理の推論規則についての固有変数条件を理解するのに長らく苦戦して滞っていましたので、学ぶのを飛ばしてしまうことにして先に進みました。勉強で内容を飛ばしたのは多分初めてじゃないですかね。

tag:

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