佐伯一郎 retweeted
元々それっぽい顔してんだけど、今おでこがありえないぐらい腫れて中央アジアの子供感が増してる 今すっごい募金欲しそうな顔してる
こんにちは私はディナルズ・トゲソヴァ、カザフスタンの地方に住んでる12歳です。
TikTokでジュジュツカイセンのサトルゴジョーのeditを見るのが好きです。
去年に苦労して自作したタブロー法の演算ツールだが、Opus 5が30分程でUIや機能を洗練させてくれた。
また、これは指示したことだが演算過程を動態で追えるようにした。タブロー法は式構造が見易い演繹体系なのもあり、この機能は学習の助けになる期待がある(但し、学習に最適なのは手書きだろう)。
命題論理学の範囲に限りますが、タブロー法の操作(演算)を行うツールを作りました。ユーザーが入力した式にタブロー法を施します。
logicalize.ct.ws/?i=1

















