ぺんぎんさんのおうち

日記です。たまに日記じゃないこともあります。

21.05.2020

週によって課題の重みが違ったりして,忙しかったり忙しくなかったりしてる.

今日は11時起床.前日比-1

 

プリコンパイルプリプロセスの違いについて頭の中で議論がなされた.

プリプロセス=プリコンパイル派とプリプロセス≠プリコンパイル派がいた.プリコンパイルは直訳でコンパイル前,そこからコンパイル前の処理→プリプロセス=プリコンパイルになったのではないかと.しかし,プリコンパイルは事前にコンパイルという解釈もできる.巨大なヘッダーファイルとそれを実装したソース(複数)を毎回コンパイルしていたら時間がかかってしょうがないので,変更が生じた場合にのみコンパイルするというのはMakefileでよくやっているはずだ.つまり,変更が生じていない部分は既にコンパイルしてあって,あとはリンクするだけだから,(事前にコンパイルしている,)プリコンパイルと呼ぶこともできるだろう.文脈によるのかな.

 

加減乗除で閉じている」という表現,足し算についても掛け算についても群だというのを短い言葉でまとめている.加算,減算,乗算はほとんどの場合で明らかに閉じている.考察の対象になるのは除算ができるかどうか.”除算ができる”とはどういうことかを考えるべきだ.

0でないある数xについて1/x, つまりxと掛け算したら1になる数が存在するのか?ということだが,これを飛ばして(理解せず)除算が閉じている 途中で書くのが面倒になった.

このあたりを適当にやってしまうと,多項式環で除算ができると勘違いしてしまうのではないか.