シェア
りょうじ
2019年11月29日 01:58
１１月２８日木曜日、曇りちょっとずつ土曜日の勉強会向けのコードを手直ししている。今はこんな感じ。並行合成の展開部分をずいぶんスッキリ書けたと自画自賛している。＊ ＊ ＊ところで途中、集合のリストの直積を計算する部分の表現を悩んでいる。いまのコードは計算する直積集合の元を「リスト」として表現して、その元のリストを直積集合としている。実用上はこれで問題ないし、直積集合を考えるときに組
2019年11月27日 01:02
１１月２６日火曜日、晴れリングフィット アドベンチャー、レベル９３に到達しておりステージ１１を始めたところ。ドエースさんという方が出ていらっしゃった。久しぶりに運動負荷を上げてみるか？ と聞かれたので「はい、いい感じに」とお願いしたところ３０に到達したらしく、どうやらこれが設定できる最高の負荷のようだ。ステージ１１の上に、少なくともまだ２ステージの余白は見えており、冒険は長く続きそう。ま、楽
