ブログ「サイバー少年」

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

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

4月

コンピュータ関連で覚えた技術
・PowerShellでのクラス定義の方法や挙動について覚えた。
・PowerShellのジェネリックスの扱いを知った。

その他で覚えた技術
・形式論理(証明論)のヒルベルト流について学んだ。
・形式論理(証明論)の自然演繹について基本を学んだ。

コメント
さっき間違えてコメントを書かずに投稿してしまった…。今回が2016年度の最初の「勉強したこと」の記事です。今回もPowerShellで新たな収穫があったのと、論理学のほうは、とうとう形式論理(構文論)を始めました。

tag:

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