- 1 名前：デフォルトの名無しさん [2016/08/27(土) 10:41:17.56 ID:UsiM7S10.net]
- ※前スレ
echo.2ch.net/test/read.cgi/tech/1460389470/
- 910 名前：デフォルトの名無しさん mailto:sage [2017/01/05(木) 00:50:03.52 ID:A5YsqABa.net]
- 「CPUの創りかた」って本があるんだけど、内容は良いのに表紙（メイド服2次元）で損してた
萌え系が一般化する前の出版（2003年）だったので尚更ね
勉強会とかのスライドにアニメネタ散りばめてくる連中も大嫌いですね
気持ち悪い以前に知らねーっての
なんでこの業界はオタクばっかりなんだろ
- 911 名前：デフォルトの名無しさん mailto:sage [2017/01/05(木) 01:21:16.12 ID:hDlq+tiw.net]
- >>895
そもそもが萌勢自体が超マイノリティなんだよ
ネット上だとまるで萌えは正義みたいな雰囲気だけどリアルじゃ誰もが気持ち悪いと思っている
- 912 名前：デフォルトの名無しさん mailto:sage [2017/01/05(木) 01:24:23.56 ID:hDlq+tiw.net]
- >>897
去年のセキュリティの勉強会に参加したんだけどその時に配られた粗品がラノベの「なれるSE」のヒロインのステッカーで呆れたもんだよ
まじで日本はダメだと思った、経産省やらIPAのお偉いさんも居るのにホンット胸糞悪いわ
- 913 名前：デフォルトの名無しさん mailto:sage [2017/01/05(木) 18:41:23.18 ID:fJF121yY.net]
- アニメをdisってもお前がキモい親父なのは変わらない
- 914 名前：デフォルトの名無しさん mailto:sage [2017/01/06(金) 14:37:31.73 ID:J9exfh/2.net]
- ネット上でネタでブヒブヒして遊んでるだけなのを
何を思ったかリアルでアピールして商売に利用しちゃってるからな
- 915 名前：デフォルトの名無しさん mailto:sage [2017/01/06(金) 14:39:16.13 ID:J9exfh/2.net]
- IPAも確か染まってるはず
ITパスポートの試験合格者にキモいもんプレゼントしてたな
- 916 名前：デフォルトの名無しさん mailto:sage [2017/01/06(金) 18:19:19.31 ID:ljVsyvGP.net]
- 死にかけのDelphiでも日本法人独自でキモいアニメキャラ出してきた
PCｦﾀとｱﾆｦﾀが見事に被ってるからもう仕方ないのか
- 917 名前：デフォルトの名無しさん mailto:sage [2017/01/06(金) 18:33:21.85 ID:LxnclcVs.net]
- いらないものはいらない
- 918 名前：デフォルトの名無しさん mailto:sage [2017/01/06(金) 19:59:42.90 ID:nBw859YD.net]
- >>897
いい本なのに‥
- 919 名前：デフォルトの名無しさん mailto:sage [2017/01/07(土) 19:45:15.26 ID:LmQP0XM/.net]
- https://www.amazon.co.jp/dp/4022514450/
新聞連載当時からおもしろかった
- 920 名前：デフォルトの名無しさん mailto:sage [2017/01/09(月) 22:13:34.68 ID:g9cDTkVF.net]
- 「ITエンジニア本大賞 2017」
www.shoeisha.co.jp/campaign/award/2017/
- 921 名前：デフォルトの名無しさん mailto:sage [2017/01/10(火) 12:38:05.11 ID:sImDy+Ex.net]
- キモいといえば、ウィザードとか言っちゃう奴らも寒すぎて死んでほしいよな
- 922 名前：デフォルトの名無しさん mailto:sage [2017/01/10(火) 12:49:11.08 ID:P/Nvzr1K.net]
- どういう意味？
- 923 名前：デフォルトの名無しさん mailto:sage [2017/01/10(火) 15:58:49.30 ID:ewWwYwd2.net]
- 意味なんてない
- 924 名前：デフォルトの名無しさん mailto:sage [2017/01/11(水) 10:06:23.59 ID:zhfyX8Ue.net]
- 芳烈な雪荒らし
- 925 名前：デフォルトの名無しさん mailto:sage [2017/01/11(水) 19:41:35.86 ID:J0kepQ6p.net]
- >>910
お、いいねえ森博嗣か
- 926 名前：デフォルトの名無しさん mailto:sage [2017/01/11(水) 22:18:13.03 ID:c+UNsMqw.net]
- >>910
お、いいねえ森鴎外か
- 927 名前：デフォルトの名無しさん mailto:sage [2017/01/11(水) 22:40:47.06 ID:au61b8jG.net]
- >>910
お、いいねえ森元か
- 928 名前：デフォルトの名無しさん mailto:sage [2017/01/11(水) 23:16:25.53 ID:UvSuSKio.net]
- >>910
お、いいねえ森英恵か
- 929 名前：デフォルトの名無しさん [2017/01/12(木) 00:13:19.15 ID:Cbcl4p2d.net]
- >>910
お、いいねえ森且行か
- 930 名前：デフォルトの名無しさん mailto:sage [2017/01/12(木) 00:27:09.44 ID:+Cds4AFc.net]
- >>913
こんなところにでてくるなんて、
サウザーの師匠は有名人だな。
- 931 名前：デフォルトの名無しさん mailto:sage [2017/01/12(木) 18:57:52.71 ID:RNN6qQPk.net]
- ガロア理論をやりたいです
参考書を教えてください
- 932 名前：デフォルトの名無しさん mailto:sage [2017/01/12(木) 18:59:10.65 ID:Sp6CUNpR.net]
- 数学板へどうぞ
- 933 名前：デフォルトの名無しさん mailto:sage [2017/01/12(木) 19:04:03.91 ID:Sp6CUNpR.net]
- 数学の本 第68巻
rio2016.2ch.net/test/read.cgi/math/1477731209/
- 934 名前：デフォルトの名無しさん mailto:sage [2017/01/12(木) 19:57:58.75 ID:fsL0u2IJ.net]
- >>918
potato.2ch.net/test/read.cgi/river/1455245810/
- 935 名前：デフォルトの名無しさん mailto:sage [2017/01/12(木) 20:18:07.10 ID:3fEcH9ui.net]
- >>918
＞ ガロア理論
おそらく、一番やさしく、かつ、しっかり書かれている日本語の入門書はコレだと思う
遠山啓 『代数的構造』
https://www.amazon.co.jp/dp/4480094172/
英語圏でわかりやすいと人気の代数学の参考書はこちら
現在、第２版が最新であるものの、内容的には無料公開されているこの旧版で十分
（右下の PDF with Text 版をダウンロードしよう）
Charles C. Pinter "A Book of Abstract Algebra"
https://archive.org/details/charles-c-pinter-a-book-of-abstract-algebra
- 936 名前：デフォルトの名無しさん mailto:sage [2017/01/13(金) 05:43:35.30 ID:gCcMyyo1.net]
- >>922
ありがとう
とりあえず最初の本に興味持ったので注文した
- 937 名前：デフォルトの名無しさん mailto:sage [2017/01/13(金) 10:09:50.00 ID:pM6pR7wo.net]
- 代数学2 雪江が鉄板
- 938 名前：デフォルトの名無しさん mailto:sage [2017/01/13(金) 18:09:44.63 ID:hu5eqRYQ.net]
- >>918
https://www.amazon.co.jp/dp/4860643631
の評判がいいらしい
blog.goo.ne.jp/ktonegaw/e/be7d2e4dbc9a86966cad1356025d4525
>>924
雪江は数学の人用なんじゃないかな…
- 939 名前：デフォルトの名無しさん mailto:sage [2017/01/13(金) 22:50:36.92 ID:/MdxP5Tv.net]
- まつもとゆきひろはなんでああ顔を出したがるのかねぇ？
新刊の内容はちょっと気になったが、表紙がキモすぎて触りたくなかった。
- 940 名前：デフォルトの名無しさん mailto:sage [2017/01/14(土) 05:34:28.65 ID:GCoTE4Au.net]
- わかった、そうやって顔を出していかないと、ご近所さんに何やってんだか判らんキモイおっさんと思われてるんだ
- 941 名前：デフォルトの名無しさん mailto:sage [2017/01/14(土) 06:10:32.30 ID:jA3HXvAM.net]
- 自己紹介は余所でやれ
- 942 名前：デフォルトの名無しさん mailto:sage [2017/01/14(土) 07:50:25.67 ID:eJA4OkNV.net]
- >>925
いたちをからかっただけだよ
- 943 名前：デフォルトの名無しさん [2017/01/15(日) 12:02:20.08 ID:+kKOIcuw.net]
- 三角関数教えて
- 944 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 12:50:40.79 ID:KNv+FNdW.net]
- https://www.amazon.co.jp/dp/448601863X
- 945 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 14:02:54.97 ID:FBfsmc8p.net]
- この本がおすすめ
佐藤敏明 『図解雑学 三角関数』
https://www.amazon.co.jp/dp/4816333118
- 946 名前：デフォルトの名無しさん [2017/01/15(日) 17:14:00.99 ID:Ka7Q2rqM.net]
- >>929
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 947 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 17:14:41.81 ID:rR/LTkh7.net]
- >>933
プログラミング言語の意味論でも出てくる
- 948 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 17:16:17.13 ID:Mqq8hDti.net]
- >>933
符号理論の本を聞いていないし、こじつけだろ
セキュリティ勉強します、まず楕円関数の本を教えてください（笑）
- 949 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 17:26:40.33 ID:R1qhOvTe.net]
- それをいうなら楕円曲線だろ
- 950 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 17:36:30.88 ID:Vh4eztBk.net]
- 決闘して死ぬとか生き急いだな
- 951 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 18:58:11.32 ID:iuy7cLtb.net]
- >>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 952 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 21:05:24.93 ID:Z39GcWi7.net]
- >>935
つ >>936 (笑）
- 953 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 21:43:15.48 ID:itmwtKVV.net]
- 効いてる効いてる
- 954 名前：デフォルトの名無しさん mailto:sage [2017/01/15(日) 23:13:40.54 ID:T9htbCfR.net]
- 数学とか暗号の話なら結城浩読めよ
キリスト教のクッサイい臭いを我慢すれば概ね良書
- 955 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 01:12:26.16 ID:4KpB2Hpa.net]
- ばーか、日本語が読めない奴
- 956 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 07:50:46.31 ID:lBeodVLR.net]
- 効いてる効いてる
- 957 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 16:23:20.97 ID:2+0HYlMp.net]
- 業務アプラーですが
ARMって勉強しておくとこの先得になるとか
ありますでしょうか？
組込みとかの領域でない限りあまり意味ないですかね？
- 958 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 16:28:57.04 ID:pA0g8rzH.net]
- 本関係ないw
- 959 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 16:28:58.46 ID:m06OXud2.net]
- なぜこのスレでその質問をした？
周囲環境が分からないと答えようがない
むしろマ板とかの方がよくないか？
- 960 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 16:29:23.67 ID:qGPkeFbt.net]
- スレタイも読めないようでは問題外
- 961 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 18:53:41.58 ID:LsnAvwpU.net]
- >>941
blog.goo.ne.jp/ktonegaw/e/be7d2e4dbc9a86966cad1356025d4525
＞数学ガールシリーズは最終章がいきなり難解になるという印象を僕は持っている。
- 962 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 19:49:42.48 ID:Jl8TLwg2.net]
- ガロア理論の頂を踏むって意味が分かる線形代数の人が書いてるのか。
いい本だったしこっちも読んでみるかな
- 963 名前：デフォルトの名無しさん mailto:sage [2017/01/16(月) 20:18:56.44 ID:msgU5aLq.net]
- しっしっ
- 964 名前：デフォルトの名無しさん mailto:sage [2017/01/24(火) 13:34:54.87 ID:RF3DGLY+.net]
- 百田は黙っとけ！
西村先生にしゃべらせんかい！
- 965 名前：デフォルトの名無しさん mailto:sage [2017/01/24(火) 13:41:21.43 ID:RF3DGLY+.net]
- >>951
誤爆でした
- 966 名前：デフォルトの名無しさん mailto:sage [2017/01/24(火) 23:11:12.73 ID:bwm6iN8W.net]
- モルモン教の人はなんで顔アップの表紙ににしたがるんだ？
ああいう顔が趣味の層がいるのか気持ち悪い
- 967 名前：デフォルトの名無しさん mailto:sage [2017/01/27(金) 20:29:16.32 ID:svG3mbbP.net]
- >>935
つ >>936 (笑）
- 968 名前：デフォルトの名無しさん mailto:sage [2017/01/27(金) 20:36:26.93 ID:OvRSu9CB.net]
- よく効くｗ
- 969 名前：デフォルトの名無しさん mailto:sage [2017/01/27(金) 23:42:33.68 ID:VLnQEnU5.net]
- 私は「いろんな言語で宿題」スレで出題、Prologによる解答を繰り返しているプログラマです。
読書家でない私がこのスレに期待することをふたつ。
・ 関数型言語本�
- 970 名前：ﾌ細部についての批評・議論を読みたい。
・ 応用本についての評をもっと読みたい。 [] - [ここ壊れてます]
- 971 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 09:15:31.77 ID:dpX/QXuC.net]
- prolog KABA
- 972 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 10:26:32.61 ID:TaCZv+5g.net]
- 関数型言語入門書の隠れた最高傑作が「プログラミング in OCaml ～関数型プログラミングの
基礎からGUI構築まで」であることには異論はないだろうが、ちょっとマイナー言語であること
が惜しまれる。
この人がHaskellやLISPでもいいので同じような本を書いてくれれば最高なのだが。
逆に売れてる割にワーストと思うのが「関数プログラミング実践入門 ──簡潔で、正しいコードを
書くために (WEB+DB PRESS plus) 」
異次元で評価不能なのが「関数型プログラミングに目覚めた!IQ145の女子高校生の先輩から受けた
特訓5日間」
- 973 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 14:16:16.60 ID:uVQI7C3W.net]
- >>958
最後の本は異次元とか評価不能とか言うレベルじゃない
単に真ん中のワーストな奴より更にワースな代物というだけだ
- 974 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 15:26:54.63 ID:vTyo/TKj.net]
- 毛の壁本の中の実例ってしょぼいらしい‥なんだったの？
- 975 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 16:18:12.39 ID:1e+Xw+ps.net]
- 毛の壁って本職なんなの？ プログラミングでき�
- 976 名前：ﾌ？あの人 []
- [ここ壊れてます]
- 977 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 16:29:15.97 ID:5jx2FYd0.net]
- お前よりはね
- 978 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 16:32:33.39 ID:mjSJ0QIW.net]
- バカはレスしないでくれる？
個人の主張として批判せず、いたずらにある類として扱うのは極めて恣意的かおバカの批判にあらざる攻撃の特徴。
まあ、その軽蔑すべき発想で返した俺も反省はしてもよいが
はっきり言って精神病とバカの特徴でしかない論法でレスするなよ。
俺はバカと精神病きらいだからな。
おまえら、マジで精神病と思われる宣言的絶対主義の形而上学バカの一味は人類の公的な敵だとおもっているからな。
さしあたりお前らが馬鹿にされていることは科学的認識の健全性をそれなりに示すから喜ばしいがな。
それにしても、単なる知識を披露しあっているだけの時は頭良さそうなふりはできるが、
いよいよ自身の認識を問われる事態になるとここにいる連中、そこの浅さを露呈するやつ多すぎ
所詮、2chだな
- 979 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 16:52:41.25 ID:9Ku8pFD8.net]
- NG
- 980 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 16:54:22.95 ID:1e+Xw+ps.net]
- 俺全然できないから、俺よりできるっていっても何の効果もないんだよなぁ
で、プログラミングできんのあの人？
- 981 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 17:11:12.48 ID:VGjASwid.net]
- 荒らしたいのか
- 982 名前：デフォルトの名無しさん mailto:sage [2017/01/28(土) 17:13:47.82 ID:vTyo/TKj.net]
- javascript しかできないらしいよ
- 983 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 14:22:29.16 ID:2YTHCr28.net]
- >>965
お前よりはね
- 984 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 15:10:05.72 ID:sujTTxNd.net]
- 俺全然できないから、俺よりできるっていっても何の効果もないんだよなぁ
で、プログラミングできんのあの人？
- 985 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 15:18:14.78 ID:y8EL4iBQ.net]
- >>969
javascript しかできないらしいよ
- 986 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 21:10:31.16 ID:Z1XHHIUS.net]
- >>969
お前よりはね
- 987 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 23:03:01.12 ID:AwMXlqyx.net]
- 俺全然できないから、俺よりできるっていっても何の効果もないんだよなぁ
で、プログラミングできんのあの人？
- 988 名前：デフォルトの名無しさん mailto:sage [2017/01/29(日) 23:12:44.97 ID:xdJ0VRmv.net]
- javascript しかできないらしいよ
- 989 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 01:27:30.78 ID:8sQEpTRZ.net]
- node.js勉強するなら今だとどの本がいいの？
古いのだとバージョンがあばば
- 990 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 12:59:48.51 ID:uKxGFccK.net]
- >>974
多少バージョンが違うくらいで読み替えたり補完したりできない奴はプログラミング向いてないよ
- 991 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 19:38:10.66 ID:UN4xZ5/l.net]
- >>935
つ >>936 (笑）
- 992 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 20:09:50.36 ID:Y81rlDUX.net]
- ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7 👀
Rock54: Caution(BBR-MD5:0be15ced7fbdb9fdb4d0ce1929c1b82f)
- 993 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 20:43:36.88 ID:Y81rlDUX.net]
- 論拠をwikiに求めるボケ爺
- 994 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 20:45:03.61 ID:Y81rlDUX.net]
- ガロア体がガロア理論（禿笑）
- 995 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 20:45:34.38 ID:UN4xZ5/l.net]
- >>935
つ >>936 (爆笑）
- 996 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 20:48:32.81 ID:UN4xZ5/l.net]
- >>935
つ >>936 (爆笑）
- 997 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:26:29.96 ID:jT7j5eiL.net]
- 偏執狂
- 998 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:34:16.50 ID:V2tqwc4/.net]
- >>929
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 999 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:35:04.34 ID:V2tqwc4/.net]
- >>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 1000 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:36:18.14 ID:V2tqwc4/.net]
- >>929
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 1001 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:37:07.80 ID:V2tqwc4/.net]
- >>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 1002 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:37:38.52 ID:V2tqwc4/.net]
- >>929
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 1003 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:38:25.76 ID:V2tqwc4/.net]
- >>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 1004 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:38:59.51 ID:V2tqwc4/.net]
- >>929
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 1005 名前：デフォルトの名無しさん mailto:sage [2017/01/30(月) 21:39:39.44 ID:V2tqwc4/.net]
- >>934
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 1006 名前：デフォルトの名無しさん mailto:sage [2017/01/31(火) 00:45:06.29 ID:9CJ6u4bK.net]
- >>935
つ >>936 (爆笑）
- 1007 名前：デフォルトの名無しさん mailto:sage [2017/01/31(火) 08:00:04.18 ID:EZp9mlVx.net]
- 無限ループスレ
- 1008 名前：デフォルトの名無しさん mailto:sage [2017/01/31(火) 09:57:23.22 ID:OaaW+pLN.net]
- >>991
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 1009 名前：デフォルトの名無しさん mailto:sage [2017/01/31(火) 14:27:53.89 ID:O7Z+gW5X.net]
- >>991
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 1010 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 06:58:52.46 ID:0h+dSJOE.net]
- >>935
つ >>936 (爆笑）
- 1011 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 09:12:22.48 ID:BOrJmCu5.net]
- >>995
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 1012 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 09:12:42.07 ID:BOrJmCu5.net]
- >>995
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 1013 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 09:13:12.00 ID:BOrJmCu5.net]
- >>995
板違いではない。
ガロアの名は符号理論で頻出する。
https://ja.wikipedia.org/wiki/%E5%B7%A1%E5%9B%9E%E7%AC%A6%E5%8F%B7
- 1014 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 09:13:53.43 ID:BOrJmCu5.net]
- >>995
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 1015 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 09:14:25.35 ID:BOrJmCu5.net]
- >>995
> プログラミング言語の意味論でも出てくる
Galois connectionという意味でならばガロワの名前は確かにプログラミング言語の意味論で出てくるが
そもそもの今のこの話題の起こりである「ガロワ理論 (Galois theory)」という言葉は意味論には出てこない
プログラミング言語の意味論とか計算可能性とか再帰関数とかは、通常の数学では良く出てくる代数構造の群(group)と殆ど縁がないんだよ
通常は任意に与えられた計算可能な関数の逆は関数にならない（一般の関係にしかならない）からね
そしてガロワ理論ではそのプログラムには縁のない群こそが最も重要なツールであり対象だから、ガロワ理論はそういう分野には出てこないわけ
なお同じく情報系の話題でも、符号理論や暗号理論関連では群を多用するのでガロワの名前は頻出して当然
符号化（暗号化）は逆操作としての復号化が殆どの場合に必須だから逆元が常に求められる
（逆元の存在要請を前提として理論を組み立てられる、つまり群という代数構造をツールとして理論構築で活用できる）からね
- 1016 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 09:42:11.00 ID:fGZSlE9v.net]
- 止まらねーw
- 1017 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 12:22:58.52 ID:IGaq7NnQ.net]
- これは数学板の荒れ方だね、あっちの人ってスルー力がないからね
>>939 で反応があるのが見抜かれて、完全にマニピュレートされちゃっているのに気がつかないんだね
じゃ、俺もやってみよう、えい
>>935
つ >>936 (爆笑）
- 1018 名前：デフォルトの名無しさん mailto:sage [2017/02/01(水) 13:19:47.43 ID:0gbBKweN.net]
- >>1002
埋め立て完了、協力感謝
- 1019 名前：過去ログ ★ [[過去ログ]]
- ■ このスレッドは過去ログ倉庫に格納されています
|
 |
