演算子を関数的に解釈するスレ
■ このスレッドは過去ログ倉庫に格納されています
0001１３２人目の素数さん
2009/08/14(金) 23:13:01その左右に記述された項同士を合算する事を意味するが、
x + y = z
変数(x, y)を引数とし、zを出力とする関数と考える事が出来る。
除算記号や分数の棒についても同様である。
※ここでいう関数とは従属変数の事を指すのではなく、
独立変数と従属変数の関係性（構造）を指す。
特に演算子 ＋ や ＝ 、（）については多くの機能が定義されており
我々中学生を混乱させている（上で行った＋の解釈は、正の符号としての＋には当てはまらない）。
＝については、代入・定義・恒等・条件など、全てわかりやすい関数形式の記述方法を設けるべきである。
その前段階として、ごちゃごちゃになっている演算子の機能を整理し、どのような関数として記述可能かを
考えるべきである。
0003１３２人目の素数さん
2009/08/14(金) 23:16:53そうでしたか。
もしお手間でなければ誘導していただければそちらで勉強してまいります。
あと *､&,[],etc は関数にしろ、とかも見ます。期待にはちがうかな
見かけたら貼っておきます。
0005１３２人目の素数さん
2009/08/14(金) 23:37:54「何だこのわけの分らない記号列の仕組みは」等を叫んで発狂する。
子供の浅知恵など所詮その程度のものよ。
00071
2009/08/15(土) 00:23:33パソコンの勉強をしていないので、タイトルの時点で
何を言っているのかわからず・・・
それっぽいスレッドを見つけることも出来ませんでした。
すいません。
00081
2009/08/15(土) 00:32:21なぜ、 ＝ が 代入 を 表す 記号 に なったか？
http://pc12.2ch.net/test/read.cgi/tech/1105689128/
0009１３２人目の素数さん
2009/08/15(土) 01:08:43というか何をやりたいのかすら定かではなさそうなので
その辺をはっきりさせてから質問スレなり書籍紹介スレなり
0010１３２人目の素数さん
2009/08/15(土) 02:16:35ラムダ計算について勉強しろ。おまえのやりたいことはそれだから。
0011１３２人目の素数さん
2009/08/15(土) 03:28:48ってもう数年前の話だっけか
何年前だ
3年か4年か5年か
0012１３２人目の素数さん
2009/08/15(土) 13:06:560013１３２人目の素数さん
2009/08/15(土) 14:52:010014１３２人目の素数さん
2009/08/15(土) 17:44:250015１３２人目の素数さん
2009/08/20(木) 20:10:23でλ式使って数学を考えるやり方が書かれてたな
0016１３２人目の素数さん
2009/09/11(金) 22:56:10あの本全然読めない orz
0017１３２人目の素数さん
2009/11/03(火) 17:58:31ひたすらλ式を使って慣れるしか
0018１３２人目の素数さん
2009/11/03(火) 18:24:35自分で小さいコンパイラやインタプリタを作ってみるのがいいだろ。
エイホのドラゴンブックとかで本格的にやってもいいけど、そういう世界だな。
もしプログラムも知らないのに演算子について>>1ぐらいの認識をもってるなら結構な適正があると思うよ。
シンボリック処理（コンパイル一般）はね、鬼車を目指してregexpを自作するのが結構面白いよ（lisp系じゃ複雑になるからcになるけど）。
0019１３２人目の素数さん
2009/11/03(火) 19:18:40他スレでヴァカを晒すなのか？
理論数学と情報数学の違い
0020１３２人目の素数さん
2009/11/03(火) 19:22:030021１３２人目の素数さん
2010/02/04(木) 17:16:530022１３２人目の素数さん
2010/03/10(水) 17:15:240023１３２人目の素数さん
2010/05/07(金) 19:42:43■ このスレッドは過去ログ倉庫に格納されています