[過去ﾛｸﾞ] Interｰuniversal geometryとABC予想(応用スレ)51 (1002ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
637: 2021/02/18(木)00:17 ID:yMZvubyN(1/9) AAS
>>630
ありがとう。
office や libreoffice は生でいじりにくいので、tex かアスキーアート書いたほうが個人的に早い。
tex よりも好みなのは、
sphinx とか、mathjax とか、web html generator の学習意欲のほうが大きくて、どうしても tex や、office はテキストエディタでいじりにくいのでどうもやる気が起きん。
ライブラリの数でいったらtex なんやろうけど、アウトプットがもぬけの殻で手が回らん。
satysfi は書きやすいが標準ライブラリが足らん。
638(1): 2021/02/18(木)00:24 ID:yMZvubyN(2/9) AAS
たまにこれいいなと思うtex の様式があるんやけど、皆どこで探すんやろか。
数式、かかん図式、グラフ、証明図、コード、いろいろ書きたいが、とりわけかかん図式は、コストが高いし、ストリングダイアグラムも、いろいろな表現を織り交ぜてやらんと、納得する文書はかけんのだが、いいツールがない。
圏論するには、
アップルペンシルに戻るわけやが、
ノートアプリもどこかかしこで使いにくい。
640: 2021/02/18(木)00:28 ID:yMZvubyN(3/9) AAS
そんなこんなで、然るべきプログラミング言語でコード書くほうが、よほどアウトプットの効率が高いわけなんやが、人のコードは、Hackageくらいしか読まん。
読んでるものは全部論文なわけやが。
同じもどかしさかんじとらんのやろうか、
世の数学好きは。
661: 2021/02/18(木)09:57 ID:yMZvubyN(4/9) AAS
>>657
>>素人あるある
当たり前。
間違いだらけの絵を書いて、
時代遅れかつ、センスのかけらもない汚いもん世に晒す悪趣味はなくてね。
時代遅れの自称数学者（お前ら老人）に請うためのものづくりはしてないんですよ。
省2
662: 2021/02/18(木)09:58 ID:yMZvubyN(5/9) AAS
紙と鉛筆使うのは当たり前。
663: 2021/02/18(木)10:00 ID:yMZvubyN(6/9) AAS
人間の直感を信じることは大事だが、信じすぎて、AI にコンピュータも持たずにチェス勝とうとする間抜けしかおらんのでしょうか。
ここは。
664: 2021/02/18(木)10:01 ID:yMZvubyN(7/9) AAS
The老害。
665(1): 2021/02/18(木)10:01 ID:yMZvubyN(8/9) AAS
ごめん、
キチガイ理論のスレだった。
669: 2021/02/18(木)10:13 ID:yMZvubyN(9/9) AAS
>>655
>> 数学じゃないのかい？
まさか数学の証明を証明プログラミング言語で可能なことや、かつ海の向こうでいくつもプロジェクト始めているされていること知らんはずはないよな？
老害も程々にしてくれ。
（紙と鉛筆は重要だという点に同意するが、実際ましんの設計にいる。それに固執した論点ずらしのないように）
上下前次1-新書関写板覧索設栞歴
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.025s