記事

お月様カレンダー

React と Typescript の練習として、月の満ち欠けを表示するカレンダーを作りました。Javascriptファイルを読み取るだけで簡単に設置できます。
自作ソフト   2019/02/16   k.izumi

順序体

体 (たい) とは端的には四則演算を伴った代数構造のことであり、順序体とはその四則演算に両立する大小関係を伴った体のことである。身近なものだと実数体や有理数体があてはまるが、それ以
数学   2018/06/03   k.izumi

集合論の言葉による実数の構成

前回は集合論の言葉で有理数を構成した。今回はそれを利用して実数を構成する。まず、デデキント切断という手法で実数とその演算と大小を定義する。その後、それらが『実数』と呼ばれる数が持っ