数学@ふたば[ホーム]


[掲示板に戻る]
レス送信モード
おなまえ
E-mail
題  名
コメント
添付File []
削除キー(記事の削除用。英数字で8文字以内)


画像ファイル名:1532591544249.jpg-(69420 B)サムネ表示
69420 B無題 Name 名無し 18/07/26(木)16:52:24 No.109642 del 11月15日頃消えます
普段からRPNに接してる人っている?
削除された記事が8件あります.見る
無題 Name 名無し 18/07/26(木)20:01:10 No.109644 del
iphone ではm48使っててデスクトップではemacsのcalc使ってる
無題 Name 名無し 18/07/28(土)04:03:41 No.109652 del
逆ポーランド記法を変な呼び方するなよ
無題 Name 名無し 18/07/28(土)05:38:39 No.109655 del
日本語語順だからなー

「2から1をひく」と「1を2からひく」で違うだろ!なんて言う人もいるが…
無題 Name 名無し 18/07/29(日)12:13:19 No.109664 del
逆ポーランド記法もポーランド記法も本質的にはおんなじなんだけど、理論的にはポーランド記法の方が馴染みがあるかなぁ。

ラベル付き構文木は半順序構造だけど、そこに辞書式順序をいれて全順序にするというのが実質的にポーランド記法と同じ(その別表現)こと。全順序の入れ方でポーランド式か逆ポーランド式かの違いが出る。
ウカシェビツはいろいろうまい方法を残してくれているよ。
無題 Name 名無し 18/07/29(日)15:53:41 No.109666 del
    1532847221695.gif-(75336 B) サムネ表示
75336 B
逆ポーランドは構文木作らなくていいのがいいんじゃん
解析部分はレキサさえ作ればスタックだけですむからすごくコンパクトだし、メモリ回りも辞書以外はallocaがあればだいたい事足りるし
無題 Name 名無し 18/07/29(日)16:50:27 No.109667 del
意味がわかってないな。
ラベル付き構文木に辞書付き順序を入れた構造とポーランド記法は構造が同じなんだよ。
無題 Name 名無し 18/07/29(日)16:52:21 No.109668 del
プログラマーって人種も案外数学わかってないのな。
無題 Name 名無し 18/07/29(日)17:33:15 No.109669 del
>逆ポーランドは構文木作らなくていいのがいいんじゃん
だから、構文木の構造はラベル付きにすることで一意表現になるわけだ。
木構造は半順序だけど、自然に全順序がはいる。
全順序が入って辞書式順序にすれば、その構造はポーランド記法(逆ポーランド記法も右左が変わるだけで同じ)に一意に変換できる。
逆にポーランド記法に表されたものを全順序ラベル付き構文木に書き起こすことも一意にできる。

つまり、別表現なんだっつってんのよ。
無題 Name 名無し 18/07/29(日)18:10:27 No.109670 del
はじまた
>ラベル付き構文木は半順序構造だけど
と書かれた時点でピーンと来たわこれは触ってはいけないやつや

計算機科学の学部の授業ではラベル付き構文木が半順序かどうかとかすっ飛ばして
木を行きがけ順/帰りがけ順/通りがかり順のどれかで走査した結果しか
扱わない3分クッキングなのでコミュニケーションギャップになるのも仕方が無いんじゃ
(通りがかり順は全順序にならないから走査した結果の厳密な解釈には括弧の追加が要る)
無題 Name 名無し 18/07/29(日)18:47:50 No.109671 del
それはオマ環だろ。
きっちり勉強してれば、構造木は半順序なんてのは理論的には常識。
単なるいいわけだ。

そもそも、ピンとくる来ない以前に、そう取れるようにしか書いてない。
無題 Name 名無し 18/07/29(日)18:52:16 No.109672 del
書き込みをした人によって削除されました
無題 Name 名無し 18/07/29(日)18:54:22 No.109673 del
例: ラベル付き構文木 (/, (*, a, b), (+, c, d))
行きがけ順で走査 --> 「/ * a b + c d」 --> もとの木に戻せる!(a, b, c, dが定数なら即計算可能
帰りがけ順で走査 --> 「a b * c d + /」 --> もとの木に戻せる!(a, b, c, dが定数なら即計算可能
通りがかり順で走査 --> 「a * b / c + d」 --> イミフ!

ていうかプログラマーの興味は提示された木から文を生成することよりも
提示された文を(木あるいは計算手順として)どう解釈すべきかにしかないので
ポーランド記法の理論的背景に興味を持っていることを最初から気体するのは酷すぐる、、
(ポーランド記法、逆ポーランド記法とも文脈自由文法の一種という認識なのでますます
無題 Name 名無し 18/07/29(日)18:57:48 No.109674 del
書き込みをした人によって削除されました
無題 Name 名無し 18/07/29(日)19:05:17 No.109676 del
文脈自由の定義までしっかり理解してるなら、上に書かれている程度のことぐらい、常識の範囲。

理解できなかったことの言い訳にするのはみっともない。

n項演算子の対象領域とオペランド領域の2種(2sorted)を含む構造を表した木構造を一意に順序的に表現できる「全順序ラベル付き木構造」と同等の構造を、記号を列挙するだけで簡潔に表現できるんだから(逆)ポーランド記法は便利な記法だって話だ。何も反論されるいわれはない。

モシカシテ、日本語の文章も正規表現的(あるいは文脈自由的)につまみ食いで理解しようとしてるのか?
無題 Name 名無し 18/07/29(日)19:46:14 No.109680 del
あーべつにS式も嫌いじゃないよ
実装するときに冗長で遅いイメージがあるけど
無題 Name 名無し 18/07/29(日)20:10:14 No.109681 del
当然、論理学や構文論でもどちらの表現も扱う。
一長一短でどちらがより優れているとか言うのはない。
アタリマエのことだ。
無題 Name 名無し 18/07/29(日)21:15:34 No.109684 del
書き込みをした人によって削除されました
無題 Name 名無し 18/07/29(日)21:20:05 No.109685 del
あらあら、業務でもコミュニケーションが取れてないんだな。
無題 Name 名無し 18/07/29(日)21:24:06 No.109686 del
>あらあら、業務でもコミュニケーションが取れてないんだな。
あー消しちゃったけどごめんね
いやー、RPN は慣れてない人がいるから注意しようねって話
無題 Name 名無し 18/07/29(日)23:48:57 No.109691 del
あらあら、都合が悪かったから消しちゃったのか。
そりゃコミュニケーションなんて取れないわ。
無題 Name 名無し 18/07/30(月)00:12:21 No.109692 del
なんかやなことあったのかな?
でもRPNに慣れると普通の電卓使えなくなる
sum系の計算はRPNの方がチェックしやすくて楽だね
無題 Name 名無し 18/07/30(月)00:21:23 No.109693 del
そんなことより、No.109664程度のことをすんなり理解出来ないで、「構文木作らなくていいのがいいんじゃん」とか言ってるのはどうかと思うよ。
無題 Name 名無し 18/07/30(月)00:46:43 No.109696 del
構文木用の仕組みを作らなくていいってことだったんだけど(構文木が要らない)
いやまあS式も結局そのまま木構造だから解析要らんやんってのはあるけど、それ用のメモリ構造持ってないと()が面倒くさい
無題 Name 名無し 18/08/05(日)11:17:13 No.109719 del
オートマトンの構文解析とか、論理学(これを人文系とか言う馬鹿が湧いているが)の表示の比較理論なんかも立派な数学なんだけど、グダグダ言い訳に逃げてるやつがいるな。
無題 Name 名無し 18/08/05(日)23:14:20 No.109732 del
野矢本読んだだけでドヤってる人文がゴミってだけで本物の専門家ならディスらないよ
無題 Name 名無し 18/08/06(月)01:30:00 No.109735 del
ゲーデルだけで数学全部にマウントポジションとったつもりになってるバカも嫌だねえ
無題 Name 名無し 18/08/06(月)18:52:10 No.109743 del
>マウントポジション
(≧▽≦)
無題 Name 名無し 18/08/12(日)21:22:45 No.109811 del
>野矢本
野矢先生がオートマトンや形式言語の本を書いているのか?
つーか、お前が読んだことのある論理学関連の本がその範囲でしかないってことだろ?

だから人文系だと思いこんでるってわけだ。
無題 Name 名無し 18/08/13(月)03:21:26 No.109815 del
計算機科学畑の話はそれこそ小学生の頃から齧ってるので


大学まで行って習うのは正直ばからしい
無題 Name 名無し 18/08/13(月)09:21:10 No.109821 del
>計算機科学畑の話はそれこそ小学生の頃から齧ってるので
(≧▽≦)
無題 Name 名無し 18/08/13(月)10:58:02 No.109823 del
>(≧▽≦)
括弧で記述するLISPとか不等号で半順序、束、ポセット集合なんかよりかは
ラプラシアンとその平方根とも見なせるディラック作用素とかキリング形式カシミア演算子とかの話の方が大学大学院まで進学して勉強するに値する純粋数学数理科学数理物理分野だとは思っているので

ハスカルのモナドより導来圏とか対称モノイダル圏とかの方ね
無題 Name 名無し 18/08/13(月)11:04:25 No.109824 del
計算機科学畑の話はそれこそ小学生の頃から齧ってるので
キリッ(`ー´)
無題 Name 名無し 18/08/14(火)02:11:03 No.109836 del
ディラック作用素とかキリング形式って
逆ポーランド記法と何か関係があるんでしょうか?
無題 Name 名無し 18/08/14(火)19:03:04 No.109846 del
>大学院まで進学して勉強するに値する純粋数学数理科学数理物理分野だとは思っているので
バカだからわかってないようだが、構造が単純であるということは奥深さが無いということを意味しない。

お前に余裕がないから、知らないことのいいわけにしているだけだろ?
無題 Name 名無し 18/08/14(火)19:25:00 No.109847 del
いや比較優位な連中にお任せしてるだけだよ
無題 Name 名無し 18/08/14(火)19:26:50 No.109848 del
>ディラック作用素とかキリング形式って
>逆ポーランド記法と何か関係があるんでしょうか?
全部時間軸という1パラメーターで一列に並んだ右作用か左作用かで統一し切っちゃいたいって発想なんでしょ?
無題 Name 名無し 18/08/14(火)21:08:33 No.109853 del
やっぱりバカだな。
古典論理に時間の概念はない。
束だろうが半順序だろうが、計算論理だろうが、その全てにパラメータとしての「時間」が関係しているわけじゃない。
無題 Name 名無し 18/08/14(火)21:14:58 No.109854 del
>いや比較優位な連中にお任せしてるだけだよ
じゃ、黙ってりゃいいんだよ。
バカなんだから。
無題 Name 名無し 18/08/14(火)22:10:40 No.109859 del
>古典論理に時間の概念はない。
現実の計算機を普段から念頭に置いてないみたいですね
無題 Name 名無し 18/08/14(火)22:12:32 No.109860 del
>>いや比較優位な連中にお任せしてるだけだよ
>じゃ、黙ってりゃいいんだよ。
>バカなんだから。
比較優位って意味わかってない癖に反論するなよバカ
無題 Name 名無し 18/08/14(火)23:11:08 No.109861 del
リカードの比較優位なんて特定の場合にしか成立しない。
そもそも分野の違いは経済競争ではない。
無題 Name 名無し 18/08/14(火)23:14:09 No.109862 del
>現実の計算機を普段から念頭に置いてないみたいですね
現実の計算機に時間の概念があることと古典論理に時間の概念がないことは全く矛盾しない。
指摘の意味すら理解できてないのに、反論するなよ。
無題 Name 名無し 18/08/14(火)23:22:40 No.109863 del
書き込みをした人によって削除されました
無題 Name 名無し 18/08/14(火)23:23:53 No.109864 del
どうせ、馬鹿だから「自分が知らない理由」を比較優位に求めようというのは、どちらの分野の才能も他の連中よりも自分のほうが絶対的に勝っていると言いたいんだろうが、残念ながら、ここで書かれているような内容は、そんな絶対優位性なんてものが出るまでもない程に基本的な内容だ。

それすらわかってないんだから要するにお前は馬鹿なんだよ。
無題 Name 名無し 18/08/15(水)02:49:15 No.109868 del
社会的分業と国際分業は違うと申すか
無題 Name 名無し 18/08/15(水)02:51:28 No.109869 del
長い割りに無内容な芸風はどっかで見たな
無題 Name 名無し 18/08/15(水)02:54:43 No.109870 del
野矢本読んだだけでドヤってる人文がゴミってだけで本物の専門バカならディスらないよ
無題 Name 名無し 18/08/15(水)19:02:20 No.109876 del
お前はその野矢本すら読んでないバカ。
野矢先生の本に形式言語理論なんて載ってるかよバカ。
無題 Name 名無し 18/08/15(水)19:12:09 No.109878 del
書き込みをした人によって削除されました
無題 Name 名無し 18/08/15(水)19:12:45 No.109879 del
>社会的分業と国際分業は違うと申すか
違うね。
そもそもその国際分業においてのリカードの比較優位の理論ですら、長期で見れば全くの間違い。
18世紀には通用したかもしれないという程度のカビの生えた理論だ。

弁護士とタイピストの例を出すなら、学者で自分の論文を自分で書かないやつなんているのか?
そもそも学問分野は、はるか昔の分業産業のようにきっちりと分かれていて、互いに協調することや融合すること、あるいはさらに分かれていくようなダイナミズムが起こらないのか?

数百年前の限られた状況でしか通用しない理論は古典としては意味があるが、何でもかんでも当てはまるわけじゃない。
バカは休み休み言え。
無題 Name 名無し 18/08/15(水)21:31:12 No.109881 del
中島零時みたくずっとお休みしてていいよ
時間の概念が永遠にないお休みがキミにはお似合い
無題 Name 名無し 18/08/15(水)21:36:55 No.109882 del
ふふふ
顏真っ赤(≧▽≦)
無題 Name 名無し 18/08/16(木)12:12:35 No.109892 del
書き込みをした人によって削除されました
無題 Name 名無し 18/08/16(木)12:14:47 No.109893 del
>時間の概念が永遠にないお休みがキミにはお似合い
古典論理に時間の概念がないことと、相手に時間の概念がないことの区別もつかないバカに論理なんてわかんだろ。
お前こそ永遠に黙ってろ、絶対劣位の知ったかやろう。
無題 Name 名無し 18/08/16(木)12:21:03 No.109894 del
>野矢本読んだだけでドヤってる人文がゴミってだけで本物の専門バカならディスらないよ
お前の貧困な知識で連想する論理学ってのが野矢本しかないってだけだろ。
野矢先生にすら失礼だ。
論理学をその程度でしか把握できていないのに、人文だのと言っているお前こそが、他の分野をディスってんだよ。

聞きかじりのニワトリ頭が。
無題 Name 名無し 18/08/16(木)12:30:46 No.109897 del
時間の概念がない方が普通低レベル扱いされるよね
様相論理とかは仮定とか未来扱えるから包摂してるけどね低レベルの方を
無題 Name 名無し 18/08/16(木)12:32:07 No.109899 del
ハイディング代数だと無限への射を定義して色々誤魔化すけど
無題 Name 名無し 18/08/16(木)12:34:32 No.109900 del
はぁ?
何を誤魔化してるって?
無題 Name 名無し 18/08/16(木)12:45:25 No.109901 del
>時間の概念がない方が普通低レベル扱いされるよね
>様相論理とかは仮定とか未来扱えるから包摂してるけどね低レベルの方を
また知ったかぶり。
古典論理と様相論理の間にどっちがレベルが上だの下だのも無いわ馬鹿が。

様相論理だって幾つもある。時間を扱う様相論理もあれば扱わない物もある。それらの間にレベルが高いだの低いだのというお前の妄想が入り込む余地なんてネーヨ。
それに様相論理の中に古典論理を展開することが可能であるのと同時に、古典論理の中で様相論理を展開することもできる。
どっちがレベルが高いなんてのは無いわ。
無題 Name 名無し 18/08/16(木)12:52:42 No.109902 del
知ったかぶりの馬鹿に何度繰り返してきたかという議論だが、様相論理や部分構造論理などの非標準論理を扱っていようが、それが数学である以上それらの形式を解釈する論理は古典論理なんだよ。

解釈の体系、対象の形式内部の構造、対象のモデルの構造、これらを区別して論じられないってのは論理学を学んでない証拠だ。
無題 Name 名無し 18/08/16(木)12:55:40 No.109903 del
普通にいろんな種類の論理間で強さ議論されてるだろ
ぷろぱーですらなかったのかコイツ
無題 Name 名無し 18/08/16(木)21:15:11 No.109909 del
>普通にいろんな種類の論理間で強さ議論されてるだろ
ま〜た知ったか。
はぁ〜〜〜〜〜?普通にってなんだよ?
お前の言う論理の強さってのはどの意味での強さだ?
知ったかバカが。お前みたいなシッタカにプロパーを評価できる訳がねーだろうが。

お前の言っている論理の強さは「何の強さ」だ?
勿体ぶってないでいってみろ、シッタカ!
無題 Name 名無し 18/08/16(木)21:37:04 No.109911 del
書き込みをした人によって削除されました
無題 Name 名無し 18/08/16(木)21:39:46 No.109912 del
書き込みをした人によって削除されました
無題 Name 名無し 18/08/16(木)21:43:05 No.109913 del
>野矢本読んだだけでドヤってる人文がゴミってだけで本物の専門バカならディスらないよ
お前こそが、数学そのものをディスってんだろうが。
無題 Name 名無し 18/08/16(木)21:45:25 No.109914 del
そんで、古典論理は様相論理よりレベルが低いだ〜〜〜〜?
バカ丸出し!!

古典論理はポスト完全の意味で最も強い論理の一つだ。
論理体系が無矛盾であるもので、古典論理より多くの定理を証明可能な非標準論理は存在しない。
古典論理はポスト完全の意味では最強と言っていい。

構造が他のポスト完全な非標準論理よりも単純で、すでに流通していて、なおかつ無矛盾で、さらに証明できる定理が最も多いんだから、古典論理を使わないという選択肢に優位性はないだろ?

シッタカはこんなことすら分かってなかったのか!!
無題 Name 名無し 18/08/16(木)22:24:44 No.109918 del
>No.109914
このバカあっちこっちのスレで火病ってるね
そのうち事件起こすよこういうキチはw
無題 Name 名無し 18/08/17(金)05:50:12 No.109920 del
小さなカテゴリーにちんまり収まってる方が矛盾がわいてこないからいいよね・・・

矛盾すら創造の原動力にする拡大するダイナミックさは持ち合わせてないが
無題 Name 名無し 18/08/30(木)18:36:05 No.109960 del
数学は矛盾する体系は認めない。
どうぞお帰りください。
無題 Name 名無し 18/08/30(木)18:37:19 No.109961 del
>このバカあっちこっちのスレで火病ってるね
知ったかの言い訳は見苦しいなぁ。
内容に反論してみろよ。
無題 Name 名無し 18/08/30(木)18:40:58 No.109962 del
>矛盾すら創造の原動力にする拡大するダイナミックさは持ち合わせてないが
矛盾を排除してなおダイナミックな想像力を発揮できないのなら、数学も理学も諦めなさい。

矛盾を排除したからと言って想像力が発揮できなくなるわけではない。
どうぞお帰りください。
無題 Name 名無し 18/08/30(木)23:31:42 No.109967 del
おら来ましたぜ
無題 Name 名無し 18/08/30(木)23:45:24 No.109968 del
>内容に反論してみろよ。
内容なんか無いじゃん
あると思ってたの?

【記事削除】[画像だけ消す]
削除キー
- GazouBBS + futaba-