昨日のマストドンの活動は

トゥート : 9287(+20)
フォロー : 46(0)
フォロワー : 56(0)

でした。
donhaialert.herokuapp.com

デバッガ便利だな(今更)

タイプミスかと思ってたけどその前から間違えてた

処理忘れてた

テストケース1つ通った

変数束縛あり
代入が単項、多項両方あり
なのでそこそこ難しいはず

fの不動点は簡約できなかった(どんどんfに適用させていった)
これ回避しないといけないのかな

a- numatta

実行順番に問題があることが分かって帰るとstd::out_of_rangeが出てきた
ケース1つ考え忘れてるのもあった

もうこんな時間か...

問題個所見つけた

デバッガーありがとう

2021-07-24 03:30:21 Posting Smooth Unicode SmoothUnicode@botsin.space

This account is not set to public on notestock.

括弧の数以外多分できた

((x))
((x) y)
この2パターンを区別しないと括弧の数は調整できない

WSL2ってメモリ食うんだ
(そして減らない)
github.com/microsoft/WSL/issue

WSL 2 consumes massive amounts of RAM and doesn''t return it · Issue #4166 · microsoft/WSL

てぃー おあ ちゃ

qiita.com/yoichiwo7/items/e3e1
Linuxはメモリに余裕があると積極的に使う
WSLはメモリが足りなくなるとより多く確保しようとする
で循環してメモリ使用量が増えるらしい

WSL2によるホストのメモリ枯渇を防ぐための暫定対処 - Qiita

とりあえず再起動した

prologも少しは触ってみたい

define作るか?

(plus 1 1) ->* 2
ができた

a,だめだ

多分括弧の処理

複雑すぎてデバッグする気にもならない(手動簡約が複雑)

帰らないといけないのか

以前の修正でダメになるケースが出てた

集中切れた

2021-07-24 21:16:26 Posting ​  nippa@mstdn.jp

集中切れた

原因の一端がつかめた

問題の原因わかった

いい加減ごはんたべよう

Bouncing Wikipedia Logo

2021-07-24 22:25:10 Posting くじら WhaleYuhto@mstdn.jp

This account is not set to public on notestock.

メダルと大会名言ったら本名割れてしまう

言オリ調べたら知ってる名前をいくつか見つけた

2人とは話したことがある