unixと数学

1 名前：名無しさん＠お腹いっぱい。 [03/01/27 09:58.net] 密接な関係があると思ふ。 146 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 15:45.net] >>135 違うものだよ。 147 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 19:11.net] cat == 圏? 148 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 20:29.net] cat は concatenate だろ。 product だよ。letter の間に入れる non-commutative product。 149 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/06 02:27.net] >>125 > つうか群な訳ねーだろ。 UNIX　:=　ユニタリー群 X Linux := 線形のユニタリー群 X(ユニタリー群だから線形群なのは自明なわけだが、、、) 150 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 151 名前：名無しさん＠お腹いっぱい。 [03/05/24 12:37.net] 数学基礎論は入り口だけは楽しいから、河合の倉田先生の本をよく読んでるんだけど、 モデル理論がさっぱり分りません。UNIXの何かに絡めて、誰か説明してください。 間違った説明でも大いに結構です。 152 名前：名無しさん＠お腹いっぱい。 [03/05/25 22:14.net] >>151 > 数学基礎論は入り口だけは楽しいから、 クスッとするね しかし，たかが集合論で， あれだけ，深いことが言えるなんて驚きだね 巨大基数の問題なんかぜんぜんわかってないらしい 連続体仮説とか解決していない 153 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/26 14:07.net] >> 140 ムリ。無矛盾ならば不完全。 154 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/26 14:46.net] >>153 誰も無矛盾とはいっていないわけだが 155 名前：名無しさん＠お腹いっぱい。 [03/05/27 07:58.net] あげ 156 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 157 名前：名無しさん＠お腹いっぱい。 [03/05/27 13:17.net] >>152 連続体仮説は解決してるだろうが。肯定も否定も無矛盾だってことで。 158 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/27 15:13.net] >>157 CohenがやったのはGCHのZFCからの独立性の証明(肯定も否定も証明できない) って書いてありますが、それは広い意味での無矛盾という意味なんでしょうか？ 159 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 160 名前：名無しさん＠お腹いっぱい。 [03/05/29 17:11.net] >>157 それは重大な結果だが，解決にはなっていないだろう 161 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 162 名前：名無しさん＠お腹いっぱい。 [03/06/12 01:17.net] >>161 間に合ってます。 嘘です。 163 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 14:51.net] 低水準な話で恐縮ですが、電卓ソフトはどんなの使ってます？ 記数法の変換(16, 10, 8 ,2)が簡単にできて、基本的な関数(三角関数 , べき乗, 対数くらい)を備えた、逆ポーランド記法でないもの、と思 うと手頃なのが意外と見付からない。。 164 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 15:02.net] >>163 /usr/bin/bc 165 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 15:17.net] >>164 進法の変換がかなり面倒じゃないですか？ 166 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 15:56.net] % bc ibase=10 obase=16 3*4 C obase=2 3*4 1100 この程度の面倒をいやがっちゃいけません。 基数の異なる数値を同じ式の中で扱うのはできないけどさ。 167 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/12 17:45.net] >>166 たとえばgrpnならワンキーでできるものにそれだけの手数を 掛けるのはきついなあ。 悲しいかな、grpnは(rpnというぐらいだから)逆ポーランド専用なので 「手軽な電卓」としては(漏れには)使えないけど。 ちなみに、bcにはこういうの定義してまつ。 define b(i, o){ 　　ibase=i 　　obase=o } define br(){ 　　ibase=A 　　obase=A } 168 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/19 12:38.net] >>163 calcってのを使ってる www.isthe.com/chongo/tech/comp/calc/ だらだらと式をかけるのが、使いやすかった。 (850+57)*90*60/8/0x100000 とか 169 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/06/25 16:34.net] $ irb -m >> 1/2 + 1/3 => 5/6 >> -0.4*log(0.4) => 0.366516292749662 >> (-2)**(-0.5) => 4.32963728535968e-17-0.707106781186547i >> "12".to_i(3) => 5 >> ("12".to_i(25) + "13".to_i(16)).to_s(3) => 1201 >> exit $ 170 名前：名無しさん＠お腹いっぱい。 [03/07/11 21:05.net] からあげうまうま 171 名前：名無しさん＠お腹いっぱい。 [03/07/14 21:58.net] Unix はあたかも数学のように美しい それで十分だ 172 名前：UNIXの魔術師 [03/07/15 00:35.net] UNIXはあたかも、私のように美しい。 www3.ocn.ne.jp/~yokog 不細工だ。 173 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 174 名前：名無しさん＠お腹いっぱい。 [03/07/25 18:36.net] 山崎うぜー 175 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 176 名前：anonymous [03/07/25 21:09.net] 数学は不細工だ。 　真に美しいのは、詩だ。 　　その次は物理だ。 177 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 178 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 179 名前：名無しさん＠お腹いっぱい。 [03/07/25 22:27.net] そうはイリヤのプリゴジン 180 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/07/27 10:24.net] ちなみに、「電卓」は何使ってる？ 記数法の変換(16, 10, 8 ,2)が簡単にできて、基本的な関数(三角関数 , べき乗, 対数くらい)を備えた、虐ポーランドでなく、かつ、 CASIO VPAMでないもの、と思うと何が良いですかね。 181 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/07/27 11:11.net] SHARP PC-1445使こてる。進法変換も専用のキーがあるし、 電卓式でも式入力でも使えて便利。 これで計算結果をPCにコピペ出来れば言うことなしなのだが。 182 名前：180 mailto:sage [03/07/27 12:38.net] 1445って2進、8進キーがあるのね。 ttp://pocket.free.fr/images/sharp/pc-1445.jpg しかもあのCASLエミュ機か、なっつかしー 実はPC-1401ユーザなんだけど10⇔16進キーしかなくてね。 ちとつらい。 183 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 184 名前：名無しさん＠お腹いっぱい。 [03/08/07 21:21.net] ユークリッド幾何学がわかりません。 185 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 186 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 187 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/07 23:41.net] まぁお前ら、数学のど素人は、UNIXででも遊んでろってこった。 188 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/08 01:37.net] まぁお前ら、UNIX のど素人は、数学でも勉強してろってこった。 ↓以下、「いや数学者はわりとUNIX使ってるよ。いやそれなら物理屋の方が…」 というお決まりのツマラン流れをｷﾎﾞﾝ。俺は寝る。 189 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/08 08:09.net] 予定を変更して、「unixと印度哲学」をお送りしまつ 190 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/09 12:10.net] XUNIくそゆにー 191 名前：あぼーん mailto:あぼーん [あぼーん.net] あぼーん 192 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/17 23:31.net] google計算機は便利なので試してみれば？ 【へぇ】ﾄﾘﾋﾞｱの泉@UNIX板【へぇ】 pc.2ch.net/test/read.cgi/unix/1045381392/304-332 193 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/17 23:37.net] 今時何が悲しくて答えが出るまで待たされる計算機を使わねばならぬのかと小一時間(ry 194 名前：名無しさん＠お腹いっぱい。 [03/08/25 15:50.net] 高校数学でやるベクトルが19世紀的な数学だとすると、 20世紀はどういった感じで図形を考えるんですか？ 195 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/25 18:20.net] >>194 tensor?? 196 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/26 04:03.net] >>194 197 名前： ベクトルが 19 世紀的? 18世紀とかですでにあると思うんだけど。 [] [ここ壊れてます] 198 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/26 04:25.net] >>194 局所座標? 199 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/26 13:46.net] >>194 点集合？ 200 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/26 14:04.net] >>194 2次元図形: アニメ、マンガ、萌え絵 3次元図形: フィギュア、ガレージキット 201 名前：名無しさん＠お腹いっぱい。 [03/08/27 02:52.net] 幾何とトポロジーの違いが分らない 202 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/27 03:49.net] >>200 幾何 : 曲率とか測地線とか トポロジー : ホモロジーとか基本群とか 203 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/27 05:03.net] やらないか？ 204 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/27 08:13.net] ウオッ、e^(pi*i)=-1 205 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/29 20:45.net] 古典的な意味での幾何や代数などの分類は既に意味がないかも、だそうです。 laplace.theory.cs.ritsumei.ac.jp/~takayama/MathEssays/essays.html 206 名前：名無しさん＠お腹いっぱい。 [03/08/30 14:36.net] 高山先生あげ！この人のコラム面白すぎ。 >一方で天才的な数学者はここだ！と目を付けたところで、 >難問の山々をものともせずにブルドーザーでジャングルを >整地していくように新天地を切り開いていくようである。 >凡庸な数学者達はブルドーザーが通った後に落ち穂拾い >のように適当な問題を探しあてたり、場合によっては >さんざん探し回ったあげく、何も残っていない事に気付いて >のたれ死にしたりするようである。 207 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/30 14:46.net] その凡庸の塊のような文章で「面白い」と思ったのなら、 それは単なる読書不足だと思われ 208 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/30 15:00.net] 皮肉で言ってるんだろ。 多分。 209 名前：名無しさん＠お腹いっぱい。 [03/08/30 16:18.net] おまえら高山先生のこと舐めすぎ 210 名前：名無しさん＠お腹いっぱい。 [03/08/31 19:11.net] 高山先生の言ってることは正しいな。 所詮情報系は頭が悪い、これは事実だからいいじゃん。 頭が悪いからこそ泥臭い作業に没頭できる。 美しい労働者の姿、素晴らしいじゃありませんか。 211 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/31 19:13.net] 街や政治が汚ないと言うのは誰にでも出来るが、 実際に街や政治を綺麗にするやつはあまりいない。 212 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/31 19:46.net] >>210 綺麗にするってのは綺麗に保つ/保とうとする人がいて初めて意味をもつ。 そういう人が少ないなら、そもそも綺麗にする意味が無い。 213 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/08/31 20:04.net] ま、どっちにしても「言うだけ」では何にもならないってこと。 214 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/09/21 15:01.net] おれなら工学、というより"現場"ってものを知ってる人に数学を教わってみたいな。 数学や理論物理のプロを目指しているわけでもない人には、高山先生のような人が最適だと思う。 馬鹿にされることの多い人だけど、そういう香具師にはこの人がどうして 今のポジションを獲得できたのか理解出来ないだろうな。 215 名前：名無しさん＠お腹いっぱい。 [03/11/13 10:53.net] 高山シンパの立命○のアホ学生が多数いるようですね 高山は数学者として最低レベルですよ 216 名前：名無しさん＠お腹いっぱい。 [03/11/13 12:28.net] >>214 人として素晴しいのなら、数学者より上。 217 名前：名無しさん＠お腹いっぱい。 [03/11/13 12:45.net] >>206 文章の評価は君の評価で正しいと思うけど、内容は面白いと思う。 何故に噛み付くの？ 218 名前：名無しさん＠お腹いっぱい。 [03/11/13 13:28.net] 高山の数学のレベルはシロートに対していばっているが 専門家からすればどってことない 219 名前：名無しさん＠お腹いっぱい。 [03/11/13 13:54.net] >>217 いや、素人に対してもいばってないでしょ。 220 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/13 14:08.net] いや、素人相手に話する時は結構すごいですよ。 # 個人的にはお世話になったので悪い印象は無いけど。 221 名前：名無しさん＠お腹いっぱい。 [03/11/13 14:09.net] 高山がいばれるのは工学部とか立命○のボンクラ学生だけでしょ 222 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/13 14:27.net] 素人相手に威張るのは、技術屋のデフォルトなんじゃないかな？ ヲタク的性分の悲しい性というか。 223 名前：名無しさん＠お腹いっぱい。 [03/11/13 14:57.net] 一流二流の数学者はシロートになんかいばらないよ 高山は8流くらいだからシロートにいばる 224 名前：名無しさん＠お腹いっぱい。 [03/11/13 15:04.net] 高山先生はキャラ立ちしてるからな。アカポスに就けなかった人とは 単純に能力だけで比較することは出来ないよ。 225 名前：名無しさん＠お腹いっぱい。 [03/11/13 19:26.net] なんか高山の弁護に必死な立命館生がうざい 226 名前：名無しさん＠お腹いっぱい。 [03/11/13 19:48.net] >>224 高山先生なんて知りませんが何か？ HPを見てファンになっただけですが何か？ 227 名前：名無しさん＠お腹いっぱい。 [03/11/18 12:32.net] 高山が言ってる 「情報科学だの計算機科学だのというのは学問ではない」 という主張には同感なんだが， それを深谷賢治や加藤和也がいうのならば納得だが， 高山みたいな底辺の5流の自称数学者がいうと， 頭にくうんだよな 228 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/18 15:12.net] >>226 チキンだけど喧嘩っ早いヲレは、その言葉に対して「それをクヌースにいってみな」 とか言いたくなるんだけど、どうよ。 229 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/18 17:42.net] >>226 確かに、極めてない人にクサされてもね。 230 名前：名無しさん＠お腹いっぱい。 [03/11/18 20:17.net] 高山先生の凄さをそんなところに求めてもダメだよ。 誰も恥かしくて言えないようなことを言ったから凄いんだよ。 実際言ってることは間違ってないじゃん。 231 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/19 06:18.net] いずれにせよ、こんな香具師を教壇に立たせている 立命館は近づいちゃいけない糞大学だということだけは、 間違いないだろ。 それにしてもRitsは痛い香具師が大杉。 232 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/19 22:00.net] 学問の定義ってﾅﾝﾀﾞ？ 233 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/20 15:28.net] >>231 そこで定義厨になるのはアフォの証し 234 名前：名無しさん＠お腹いっぱい。 [03/11/27 10:09.net] 学生の学力低下が長らく嘆かれているが、 これと大学教員の学力低下が表裏一体であることは あまりいわれない。 立命館の高山みたいな普通の人間が 「大学教授」などという分不相応の身分を 得ていることが一つのその現れだ。 235 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/28 13:14.net] 数学板の「大好き★代数幾何」というスレで書きまくってる人と 高山先生は、どっちがレベルが高いですか？ 236 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/28 13:40.net] 何か「町内で一番将棋の強いのは酒屋の隠居か、富士見湯の番頭か？」 レベルの話だなあ・・・ 237 名前：名無しさん＠お腹いっぱい。 [03/11/28 23:11.net] >>234 高山は代数幾何はわからんよ 238 名前：名無しさん＠お腹いっぱい。 [03/11/29 09:40.net] カテゴリーで有名なMac Laneの 数学 その形式と機能 www.amazon.co.jp/exec/obidos/ASIN/4627018304/ これは面白かった。7000円出す価値あったよ。 239 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/29 12:18.net] カテゴリーっていうと、プログラム意味論の道具ぐらいのことしか 知らないんだけど、UNIXとも関係大きいの？ 240 名前：名無しさん＠お腹いっぱい。 [03/11/30 21:42.net] >>238 まったく関係ねーよタコ 241 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/11/30 22:16.net] 圏とか関手とかで検索してみそ 242 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/12/11 12:08.net] 計算機やってるひとって幾何よりもやっぱり代数が得意なもんなの？ 243 名前：名無しさん＠お腹いっぱい。 [03/12/12 13:17.net] >>231 は「定義」という言葉を覚えたてで， ちょっとカッコいいと思っていて， やたらに使ってみたい中学2年生． 244 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/12/12 13:24.net] >>235 そういう話しを馬鹿には出来ません。 町内こそが世界のすべて、そんな人だっています。 馬鹿にしているんですか？ 245 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/12/12 13:41.net] >>243 > そういう話しを馬鹿には出来ません。 「はなしし」? 246 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/12/12 13:43.net] VO━━━━━━(ﾟ∀ﾟ)━━━━━━IDDD !!!!! 247 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/12/12 14:33.net] void先生の数学力はいかほと？ 248 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/12/16 22:14.net] 計算機やってるやつって知ったかががデフォルトですげえキモいんですけど 249 名前：名無しさん＠お腹いっぱい。 mailto:age [04/11/16 06:14:08.net] メルセンヌ素数 250 名前：名無しさん＠お腹いっぱい。 mailto:sage [04/11/16 06:35:34.net] そういうことでしか自己の存在価値を示せないから では はは 251 名前：名無しさん＠お腹いっぱい。 mailto:sage [04/11/16 07:33:20.net] >243 「自分は世界一強いけど、あいつは町内一強い。」という落語あったな、、 252 名前：名無しさん＠お腹いっぱい。 [04/12/21 19:07:08.net] キーボードから自然数を入力して、それを出発値として、 偶数なら２でわって、奇数なら３倍して１加える という操作を１になるまで行うプログラムのソースファイルを emacsで作りたいんだけどわからないからだれかおしえて。 あっあと途中経過を ８→４→２→１ みたいに表示したい。 253 名前：名無しさん＠お腹いっぱい。 mailto:sage [04/12/21 21:16:34.net] 2chでLispの話するといつも鬱になるんだよな。コードがうまく表示されなくてさ。 とにかく、scratch bufferあたりで下を評価してみ。>>251 (defun threeone-next (n) (if (= (% n 2) 0) (/ n 2) (+ (* n 3) 1))) (defun threeone-list (list31) (let ((last (car list31))) (if (= last 1) list31 (threeone-list (append (list (threeone-next last)) list31))))) (threeone-list '(3)) 254 名前：名無しさん＠お腹いっぱい。 mailto:sage [04/12/21 21:19:13.net] 誰もelispで書けとは言ってないようだが。 255 名前：252 mailto:sage [04/12/21 21:25:48.net] >>253 そ、そうだったのか。 orz OTZ ○|￣|＿ 256 名前：名無しさん＠お腹いっぱい。 mailto:sage [04/12/21 23:36:59.net] 251の「Emacsで作る」というのが曖昧だ罠 257 名前：名無しさん＠お腹いっぱい。 [05/01/13 00:53:31.net] 「場わたり」と書く>>84は数学や計算機は得意かもしれないが国語は苦手のようだ。 258 名前：名無しさん＠お腹いっぱい。 mailto:age [2005/03/26(土) 09:09:24 .net] Fuck the police 259 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/03/26(土) 09:28:05 .net] プログラムのための数学とかいう本あるけど あれ読んだやついる？ 260 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/03/26(土) 10:06:01 .net] >>258 何々な香具師い 261 名前：る？ っていう質問は何を意図してるのだろうか 単に統計的に購読者数を知りたいのか A. いるよ [] [ここ壊れてます] 262 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/03/26(土) 12:09:06 .net] >>259 いつも「いらない」と答えたくなる。 263 名前：名無しさん＠お腹いっぱい。 [2005/03/29(火) 22:51:35 .net] >>252 GJ 君みたくな人物が明るい世の中を構築する 264 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/03/29(火) 23:43:26 .net] >>252 xyzzyでやってみたら 関数が定義されていません: % と言われた。 ネット上のリファレンスを探ったところ %ではなくmodという関数があるそうなので 変えたら動いた。 出力結果の数字の並びが逆ではないのか？ （自分でリバースせい！ごもっとも） 265 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/04/05(火) 19:38:24 .net] >>251 >>252 ところで、そのプログラムはどんな自然数をいれても 有限の時間で終了するのか？ 266 名前：252 mailto:sage [2005/04/05(火) 19:47:49 .net] >>263 どんな自然数も有限回の操作で１に至るってみんな信じてるよ。 しかしそれは未証明だったはず。 こんな簡単な話が証明できないっていうので面白がられてる。 267 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/04/06(水) 22:55:54 .net] 根源的にはポアンカレ予想に通ずる悪寒。 ポアンカレ予想を証明すれば100万ドルの賞金。 268 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/06/25(土) 02:26:05 .net] 通じねえだろｗ 269 名前：名無しさん＠お腹いっぱい。 [2005/09/06(火) 20:57:37 .net] 今度、高山せんせーのお友達のレクチャー受ける予定。 高山せんせーがdevilと呼ぶだけあって、今日もなかなか味な真似して頂きましたが・・・ 頼むからいぢめないでね。おねがい？ つか高山せんせーのお友達というのが、アカデミでどーゆーステェタスなのか凄い気になる・・・ 270 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/09/13(火) 06:27:09 .net] 気になっているのは、devil先生本人ではなくて、 「高山せんせーのおともだち」という微妙なポジションのステェタスね。 271 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/09/25(日) 15:46:54 .net] あの先生、情報科学の人に殴られたりしないのかな 272 名前：名無しさん＠お腹いっぱい。 [2005/11/13(日) 05:00:44 .net] 新しい仮想ファイルシステムの仕様を考えるのに群論は役に立ちますか？ 273 名前：名無しさん＠お腹いっぱい。 mailto:sage [2005/12/01(木) 06:22:35 .net] sage 274 名前：名無しさん＠お腹いっぱい。 [2006/05/07(日) 16:38:03 .net] plan9 の設計には zeta 函数が関係するというのは 本当？ 275 名前：名無しさん＠お腹いっぱい。 [2006/05/07(日) 18:45:52 .net] そのとおり。 ところで、その0点の分布が問題になっておる。 自明でない0点の分布についてのとある証明が必要なんじゃが、 それが、まだ得られれおらんのじゃ。 ちょいと証明して頂けんかな。 276 名前：名無しさん＠お腹いっぱい。 [2007/02/02(金) 02:56:24 .net] ソフトウェアの検証には高校レベルの確率や統計学の知識は必要だよな！ 277 名前：名無しさん＠お腹いっぱい。 [2007/02/02(金) 08:27:59 .net] いらない。エクセルが魔法の杖だからエクセルのグラフでバグ収束されてるように書ければ大丈夫、 でも中身は解らなくても正規分布とか収束とかPB曲線とかスコープとかWBSとかのソフトウェア工学やプロジェクトマネージメント のキーワードは知らないと 馬鹿にされる。 278 名前：名無しさん＠お腹いっぱい。 mailto:sage [2007/02/04(日) 04:56:06 .net] ↓キーワード早見表 279 名前：名無しさん＠お腹いっぱい。 [2008/05/01(木) 18:40:13 .net] 　Maxima は MIT の Macsyma system を William F.Schelter さんが Common Lisp で実装したもので， Mathematica や Maple と同様，非常に本格的な数式処理システムです． Macsyma system は 数式処理システムの中では歴史ある汎用数式処理システムの1つで，非常に長い期間メンテナンス されてきており Mapleと同様 高い評価を得ています． Maxima は GNU Public License(GPL)のもとに リリースされており，汎用数式処理システムでは 数少ない非商用(無料)・オープンソースのもので， その完成度は商用のものに劣りません． 　このソフトウェアは非常に優秀であるにもかかわらず，なぜか，日本ではあまり知られていません． 検索エンジンで検索しても，ほとんどひっかかりません．このままではもったいなすぎると思い，この Maxima をここで紹介することにしました．数式処理システムが高くて買えない方，現在， 数式処理システムを1つしか使えない方など，ぜひお試しになってください． ttp://phe.phyas.aichi-edu.ac.jp/~cyamauch/maxima/ 280 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/05/03(土) 19:04:26 .net] １年以上誰も書き込んでなかったのか 281 名前：日立バキバキ高野くん祭り [2008/06/23(月) 19:32:21 .net] 1．日立製作所社員の高野くん（高野光弘）が会社を誹謗中傷して機密も漏洩 2．日立のユーザーにも「キチガイ」との障害者差別発言 3．日立製作所の企業イメージをバキバキにする 4．自身のサイトの『32nd diary』に掲載 5．日立製作所に通報される 6．あせって似顔絵削除 7．火に油を注ぐだけで所属する日本UNIXユーザ会にも通報祭り勃発 8．「給料泥棒」と説教される 9．「殺します」と殺人予告をして警察に事情を聞かれる←イマココ 高野光弘の行動 現在は、過去の記事を閲覧できなくして、「本日の日記はツッコミ数の制限を越えています」としています。 まずは、不愉快な思いをされた方々に謝罪するべきなのではないでしょうか。 高野光弘の発言 「まぁ、どこの団体もそんなにヤワじゃないので、平気なんですけども。 日本UNIXユーザ会が一番対応に慣れてる感じ。」 日本UNIXユーザ会が対応に慣れているか、みなさん確認してみてください。 連絡先 www.net.intap.or.jp/oiia/cont2/p0402.html%7B0recid=10168.html 282 名前：名無しさん＠お腹いっぱい。 [2008/06/24(火) 23:37:02 .net] bcの話題でもすっか？ 283 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/06/25(水) 07:21:48 .net] 1960年代から1970年代にかけ、コロナとブルーバードが繰り広げた熾烈な販売競争はBC戦争といわれた。 284 名前：名無しさん＠お腹いっぱい。 [2008/06/25(水) 23:00:34 .net] >>281 ちょｗｗｗおまｗｗｗそれちがうｗｗｗ 関係ないがｂｃでπ10万桁で遊んでたら 怒られたｗ 285 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/06/28(土) 08:44:22 .net] もっと関係ないが、PSプリンタにフラクタル作らせたら、怒られた。 286 名前：名無しさん＠お腹いっぱい。 [2008/06/28(土) 11:15:50 .net] 極悪非道が集まるスレはここでつか？ 287 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/06/28(土) 23:02:40 .net] まぁ僕は極悪非道って言われてるけど、やっぱり家族って大事だよね 288 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/06/29(日) 03:14:15 .net] それはフジテレビとターボリナックスの闘いですか？ 289 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/06/29(日) 22:31:46 .net] ターボリナックスのことはよく知らないけど, 俺も家族を大事にしてるから嫁さんとの対話は毎日欠かさないよ. 話しかけると, あー, とか, ハイハイとか返事してくれる. それに毎月お小遣いを2万円もくれるんだ. 昼食と夕食をこれで食べろって. 朝ご飯は健康のために作らないみたいなんだよね. メタボがどーのこーのって, 体を気遣ってくれる. お陰で体重がここ2ヶ月で10kg減ったよ. 俺って愛されてるな. さっき久しぶりに嫁さんを誘ったらウザイって言われたよ. まぁテレビを邪魔した俺が悪いんだけど. よっぽどテレビが好きなんだね. で, 何の話だっけ? 290 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/06/29(日) 23:08:19 .net] 数学的には人の数と同じだけ家族があると言う事以上の事が 言えるのかどうかと言う話です 291 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/06/30(月) 23:48:28 .net] で、π10万桁はどした？ 292 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/07/01(火) 10:59:21 .net] >>287 泣いた 293 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/07/03(木) 00:22:32 .net] !!重要!! これからこのスレを利用する方へのおねがい DVではなくbcの話をしてください。 なお、今後πとオッパイを掛けることを固く禁じます。 皆様のご理解とご協力をお願いいたします。 294 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/07/16(水) 11:25:05 .net] ボインにしよう うっしっし 295 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/07/24(木) 22:56:54 .net] UNIXよりデータベースやファイルシステムのが数学と親和性高いな。 UNIXはそんなに関係ない。 コンパイラやインタプリタを作るなら語学の成績が良いヤツにやらせたい。 DBとかファイルシステムを作る人は「数学の成績良かったんだろな」と 思わせるような概念をよく使う。 利用するだけでも、数学をちょっと勉強してると理解しやすいかも。 企業内で使うアプリを使うなら、IT系資格もってて その会社の業務を熟知してる人がやれば十分。 296 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/07/26(土) 12:32:11 .net] 低水準を開発するとなると, 確かに数学だの情報理論は使うやね. 直感でどーこするのは限界があるし. 集合論だのを, 応用するとまでいかず, 利用するに止まるけど. ε-NFA -> DFA とかもほんと, ありがとうございますだ. で, 俺は今, 数学屋に憧れている 概念操作格好良い, と 大学に戻りたい今日この頃 297 名前：名無しさん＠お腹いっぱい。 [2008/08/05(火) 23:05:23 .net] bcの使い方というかスクリプトというか･･･質問 1＾-10　ってどーやんの？ 298 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/08/08(金) 00:12:57 .net] >>295 まんま入力すれば, 通らん? %bc bc 1.06 Copyright 1991-1994, 1997, 1998, 2000 Free Software Foundation, Inc. This is free software with ABSOLUTELY NO WARRANTY. For details type `warranty'. 1^-10 1 scale = 20 1^-10 1.00000000000000000000 10^-10 .00000000010000000000 quit 一応, 環境等. %uname -prs FreeBSD 6.3-RELEASE-p2 i386 % 299 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/08/11(月) 03:10:56 .net] 1^-10 って書かれると "1^-" と "10" とに分かれて いるようにしか見えないんだが… 300 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/08/11(月) 08:29:25 .net] （　ﾟдﾟ）ﾎﾟｶｰﾝ 301 名前：名無しさん＠お腹いっぱい。 mailto:sage [2008/08/15(金) 00:56:27 .net] TeXか 302 名前：電脳プリオン mailto:sage [2011/12/11(日) 22:03:40.48 BE:648653388-2BP(1960).net] UNIXに限ったことでもない 303 名前：名無しさん＠お腹いっぱい。 mailto:sage [2012/08/17(金) 22:08:42.97 .net] 俺ソロバン習ったことないからさ、ソロバンでどうやって掛算するのか不思議なんだ。 ソロバンできる知合いに２×３やってみて、って言ったら、 「２、３が６」って言って玉二つ動かしたんだ。 それ九九言っただけじゃん・・・ もしかしてソロバンで掛算はできないんでしょうか？ 304 名前：名無しさん＠お腹いっぱい。 mailto:sage [2012/08/17(金) 22:27:39.04 .net] コピペ toro.2ch.net/test/read.cgi/unix/1292029147/507 305 名前：名無しさん＠お腹いっぱい。 [2014/04/17(木) 22:05:54.48 .net] 数学って言うか… 306 名前：名無しさん＠お腹いっぱい。 mailto:sage [2014/04/21(月) 07:37:06.64 .net] ユニックス スウガク スとクしか合ってねぇ 307 名前：名無しさん＠お腹いっぱい。 mailto:sage [2014/04/21(月) 08:03:46.34 .net] マセマティックスだろｗ 308 名前：名無しさん＠お腹いっぱい。 mailto:sage [2014/05/07(水) 17:01:34.91 .net] 方程式にパラメータ与えて3次元のグラフにしたりする、あの手のヤツか 309 名前：名無しさん＠お腹いっぱい。 [2014/10/08(水) 06:07:26.26 .net] ユニックスではコンプレックスは使えますか？ 310 名前：名無しさん＠お腹いっぱい。 [2014/10/23(木) 22:50:30.86 .net] 数学とは人間の脳が世界をエミュレートする際の人間の脳のマシン語ではないだろうか。 シリコン製のコンピュータとたんぱく質製の脳では、マシンスペックが極端に違うか。 あえて違いを言えば、人間の脳はその低いマシンスペックで無理やり世界をエミュレート するために、連続量とか微分積分が便利。工夫して一般化を進めて情報量を一見少なく 見せることもコミュニケーションには便利。 離散量と巨大記憶領域をもつコンピュータは、力づくなアルゴリズムが可能。 無理に数学的に美しいコンパクトな体裁に情報を変形させる必要はない。 それよりも、ハードディスクのランダムアクセスなどのような比較的低速な 機能をカバーするために算数レベルの最適化をソフトウェア的にいっぱい実装。 ていうかUNIXは数学というより算数に近いと思う 311 名前：名無しさん＠お腹いっぱい。 [2014/10/24(金) 00:34:06.05 .net] 数学とは人間の脳が世界をエミュレートする際の人間の脳のマシン語ではないだろうか。 シリコン製のコンピュータとたんぱく質製の脳では、マシンスペックが極端に違うか。 あえて違いを言えば、人間の脳はその低いマシンスペックで無理やり世界をエミュレート するために、連続量とか微分積分が便利。工夫して一般化を進めて情報量を一見少なく 見せることもコミュニケーションには便利。 離散量と巨大記憶領域をもつコンピュータは、力づくなアルゴリズムが可能。 無理に数学的に美しいコンパクトな体裁に情報を変形させる必要はない。 それよりも、ハードディスクのランダムアクセスなどのような比較的低速な 機能をカバーするために算数レベルの最適化をソフトウェア的にいっぱい実装。 ていうかUNIXは数学というより算数に近いと思う 312 名前：名無しさん＠お腹いっぱい。 mailto:sage [2014/10/24(金) 04:30:11.01 .net] >>309 コピペ peace.2ch.net/test/read.cgi/unix/1043629084/308 313 名前：名無しさん＠お腹いっぱい。 [2015/05/21(木) 14:35:26.45 .net] コンピュータの全ての分野を数学的に網羅したい場合、何学科に行くのが良いでしょうか？ 情報科学科？電気電子工学科？物理学科？数学科? 314 名前：名無しさん＠お腹いっぱい。 [2015/07/29(水) 11:56:37.13 .net] ウチもユニックスを導入しよう、やってくれるかな、って上司から突然言われました。 こっちはユニックスのパの字も知らない素人です。 まず何からやればいいんでしょうか？ 上司に質問しても上司自体ユニックスを全く理解してません＞＜ 315 名前：名無しさん＠お腹いっぱい。 mailto:sage [2016/05/19(木) 11:05:39.67 .net] 小学校の時、これ計算できたらエライ、やってみろ。 1 たす 13 たす 75 引く 23 たす .... ってしばらくやって 最後に「かけるゼロは？」っていう奴。 それ聞いて「あーなんだよせっかく計算したのにぃー」っていう奴はアホな。 かけ算優先だから最後にかけるゼロが付いても答えはゼロじゃないから。 316 名前：名無しさん＠お腹いっぱい。 mailto:sage [2017/09/08(金) 09:07:42.63 .net] >>313 おもしろい 317 名前：名無しさん＠お腹いっぱい。 [2017/12/29(金) 07:19:12.67 .net] 誰でも簡単にパソコン1台で稼げる方法など 参考までに、 ⇒　『宮本のゴウリエセレレ』 というブログで見ることができるらしいです。 グーグル検索⇒『宮本のゴウリエセレレ』 U0SBA5Z5N9 318 名前：名無しさん＠お腹いっぱい。 [2018/05/22(火) 06:26:13.77 .net] 知り合いから教えてもらったパソコン一台でお金持ちになれるやり方 時間がある方はみてもいいかもしれません グーグルで検索するといいかも『ネットで稼ぐ方法　モニアレフヌノ』 PXAUV 319 名前：名無しさん＠お腹いっぱい。 mailto:sage [2023/02/07(火) 23:47:32.10 .net] ﾌﾟﾌｧｰ(￣� 320 名前：｢￣）y─┛~~~~~ [] [ここ壊れてます] 321 名前：名無しさん＠お腹いっぱい。 [2023/10/12(木) 05:47:08.71 ID:IWd8P4S2F] 人殺し支援であるGoＴoなにがしだの地球破壊支援が成功た゛のほざいてるハ゛カは処刑されるべきテロリストだよな 人が生きる上で全く不必要なクソ航空機を都心まで数珠つなぎて゛飛ばして無駄に石油燃やしまくってエネ価格から物価にと暴騰させて 莫大な温室効果ガスまき散らして気侯変動させて日本と゛ころか世界中で土砂崩れに洪水、暴風、猛暑，大雪、森林火災にと災害連發 バカチン打ったバカのほうがコロナ拡散率が高いにもかかわらず地球破壊支援はバカチン打ったバ力が対象とか分かりやすいが 私利私欲のために人を殺してこれでもかと奪い尽くすのが世界最悪の殺人組織公明党国土破壞省の強盗殺人の首魁斎藤鉄夫の正体な 静音が生命線の知的産業まで壞滅させて後進国に陥れてこいつらがまき散らしたコ口ナによって国内だけで何万人も殺害に凄まじい後遺症 IPCCガン無視て゛テロ国家認定の化石賞連続受賞して非難されながらいまだに滑走路にクソ航空機にと倍増させて税金で地球破壊して 他国に核攻撃以上の被害を与えまくってる世界最悪のテロ國家霞か゛関にもう ─発核落として反省させないと腐敗国家日本の暴走か゛止まらんぞ (羽田〕ttps：／/www.call4.jp/info.Ρhp?tуpе〓iΤems&id=I0000062 , Ｔtps://hanｅda-projecΤ.jimdofreｅ.Com/ (成田)ttps://n-souonhigaisosуoudan.amebaownd.com/ (テロ組織）ｔtps://i.imgur.com/hnli1ga.jpｅg 322 名前：名無しさん＠お腹いっぱい。 [2023/10/12(木) 20:20:38.03 ID:HwzsL3ESn] 秋休みの自由研究でOSの重さの違いを調べています。 新品のHDDを用意して、Windos、Linax、Ubuntsu、FreeUSBとか、いろんなOSをインストールして 重さを比べてみました。 でも、重さはほとんど変わりませんでした。これでは研究になりません。 やはりキッチンスケールではあまり正確に計れないのでしょうか？ 323 名前：名無しさん＠お腹いっぱい。 mailto:sage [2023/08/19(土) 19:34:18.87 .net] 非常に残念ですが、あなたの余命は少ししか残されていません 324 名前：名無しさん＠お腹いっぱい。 [2024/03/27(水) 21:40:43.35 .net] それを駆使しても一言心配してくれる人いなくなっちゃうよね そういうよくわからんが 土曜までで 90年代そうやって更新止めるんだろうな 325 名前：過去ログ ★ [[過去ログ]] ■ このスレッドは過去ログ倉庫に格納されています

---

---

[ 新着レスの取得/表示 (agate) ] / [ 携帯版 ]

read.cgi ver5.27 [feat.BBS2 +1.6] / e.0.2 (02/09/03) / eucaly.net products.
担当:undef