25/03/06 01:44:42.48 cmFY09aF.net
どういう意味？
3:１３２人目の素数さん
25/03/06 02:14:23.03 h7zNyYkW.net
復活の呪文みたいなの？
4:１３２人目の素数さん
25/03/06 02:35:22.04 gG0rnPn+.net
米田の補題を使えばできる
5:１３２人目の素数さん
25/03/06 08:00:36.65 aAB2Zbzi.net
スタックにポップ、プッシュして再開
6:１３２人目の素数さん
25/03/06 09:33:05.22 aAB2Zbzi.net
会議を途中で抜ける
7:１３２人目の素数さん
25/03/06 09:33:33.52 aAB2Zbzi.net
利益を途中で抜く
8:１３２人目の素数さん
25/03/06 09:33:57.63 aAB2Zbzi.net
働けウンコ製造機
9:poem
25/03/06 10:46:44.77 cmFY09aF.net
証明を途中で抜ける
二つのケースがある
●証明放棄
●証明済み
10:poem
25/03/06 10:48:22.95 cmFY09aF.net
1で再開と言ってるから
証明放棄か
証明済みの場合
●通常の証明完了までいかなくても証明完了まで一本道
●先行研究の証明のそのままに進入した
11:poem
25/03/06 10:50:00.99 cmFY09aF.net
証明放棄の場合は？(証明の誤りが判明したでなく証明が正解でありしかし放棄する必要になった)
どうなるんだ？
12:poem
25/03/06 10:52:56.40 cmFY09aF.net
証明放棄した場合
●満足があった
●不満足のまま
13:poem
25/03/06 10:57:32.48 cmFY09aF.net
●不満足のままやめる
→何人か当たって議論したい
とか？
14:poem
25/03/06 10:59:39.67 cmFY09aF.net
●満足がありつつやめる
→知りたかったことが証明結果ではなかった途中にあった？
15:poem
25/03/06 11:01:21.20 cmFY09aF.net
●先行研究の証明のそのままに進入した
→先行研究と今後違う証明する方法を相談したい
16:poem
25/03/06 11:04:51.15 cmFY09aF.net
↑
に、対応させて繋げるべきってバランスとった。議論必要の項目があるならもう一つ項目も。相談必要の項目を
17:poem
25/03/06 11:06:39.93 cmFY09aF.net
●通常の証明完了までいかなくても証明完了まで一本道
→山場は過ぎた。知りたかったことが証明結果か山場かどちらか
18:poem
25/03/06 11:10:23.29 cmFY09aF.net
再開できるかどうか…どうなるんだ？
議論や相談なら、議論相談してから再開だし
知りたかったこと知れた2つは敢えて再開するかだし
全項目、意思の面は再開はするかどうか
証明書きかけを提出したまま再開可能かが問題の方か。どうなるんだ
19:poem
25/03/06 11:13:05.14 cmFY09aF.net
5chなら余裕で後日再開できる。レスでおさらい書いたり、スレ建ておさらい書いたりして、そこから
再開できないタイプを再開するためには？
20:poem
25/03/06 11:17:02.65 cmFY09aF.net
ああそうか
再開できないタイプを再開する方法
放棄できないタイプを放棄する方法
の2点か
21:poem
25/03/06 11:18:10.98 cmFY09aF.net
5chは余裕で放棄できる。再開も放棄も可能
22:１３２人目の素数さん
25/03/06 13:20:21.24 jOgG9hvh.net
米田埋込み
23:１３２人目の素数さん
25/03/06 13:23:05.34 F3yyboZ4.net
米田埋め込みすればいい
24:１３２人目の素数さん
25/03/06 19:40:06.47 mnje1vYR.net
米田埋め込みして継続の射を取り出せばいい
25:１３２人目の素数さん
25/03/06 20:24:56.05 lmJc/ywJ.net
途中で証明止めて他の宇宙で起きたことを持ち込むって話？
26:poem
25/04/12 20:04:05.71 wHddaTUF.net
抗わなくなる哲学ゾンビ化は証明を途中で抜けることか？
哲学ゾンビと非哲学ゾンビとは何か解明
URLﾘﾝｸ(itest.5ch.net)
27:poem
25/04/12 20:04:38.16 wHddaTUF.net
そしてそこから再開できる？
28:死狂幻調教大師S.A.D.@月と六ベンツ
25/04/12 20:30:09.60 WWyOdjMr.net
連続した時間というのは幻想だろうな。読む方もコーヒー飲んだり散歩したり。
29:死狂幻調教大師S.A.D.@月と六ベンツ
25/04/12 20:33:03.60 WWyOdjMr.net
途中で抜けると結果が変わるだろうが抜けなかったときと抜けたときどちらが正しいともいえない。面白い運命の分岐。
30:死狂幻調教大師S.A.D.@月と六ベンツ
25/04/12 20:36:00.39 WWyOdjMr.net
相当サボってた証明を真面目に休みなく読むのは違うと思う。一気に書き上げたものをダラダラ読むのもよくないか。
31:死狂幻調教大師S.A.D.@月と六ベンツ
25/04/12 20:39:16.57 WWyOdjMr.net
数学は直線的な時間の業績ではないから直線的な時間を学生に要求してはならない。
32:死狂幻調教大師S.A.D.@月と六ベンツ
25/04/12 20:42:06.95 WWyOdjMr.net
俺は仕事から離れて余暇を過ごすほうが良いものが書けると思うな。あたまが整理されて考える時間があり考えがまとまる。