何も信用できないもんね

計算機ネットワークでは分散システム上でのリーダー決定、合意、排他制御など。当然、どれも実現は困難なものばかり。「他のプロセスが何をするかわからない」「メッセージがいつ届くか消えるかわからない」「マシンがいつ落ちるかわからない」の三重苦の中でそれなりに確実な動作を求められるわけですからねえ。
代数学では可換環の導入。宿題。可換環上でab=0ならa=0もしくはb=0。これは真なりや偽なりや？
電子回路ではオペアンプの振る舞いの解析と、これを利用した加算回路、減算回路。