ブログ「サイバー少年」

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

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

6月

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

コメント
今回は勉強したことが、かなり少ないですね。記事は多めに書きましたが、アウトプットばっかりでインプットが無かった感じです。シークエント計算は軽く推論規則と証明の例を見た程度でした。

tag:

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