プログラミング言語
-
データ分析に向いているのは？今更聞けないプログラミング言語「R」と「Python」の違い
データ分析によく使われるプログラミング言語のRとPythonについて、それぞれの成り立ちや得意なこと、共通する部分を比べ、これから学ぶ方がどちらを選べばよいかを解説した記事です。
2021年6月16日
-
圏論とは｜対象・射・関手の基本用語と論理との対応をやさしく解説
檜山正幸先生による圏論とカリー・ハワード対応の入門記事です。古典論理から記号を絞った連言含意論理を、集合と関数の世界（集合圏）で読み替えても計算や証明がそのまま通用することを示し、デカルト閉圏や型付きラムダ計算とのつながりを紹介します。
2020年6月17日
