- 1 名前：名無しさん＠お腹いっぱい。 [03/01/27 09:58.net]
- 密接な関係があると思ふ。
- 124 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/04/29 22:07.net]
- なかま外れをさがそう。
音楽と数学
絵画と数学
お買い物と数学
unixと数学
- 125 名前：名無しさん＠ＸＥｍａｃｓ mailto:sage [03/04/30 11:22.net]
- >>113
その前に演算を定義してください。
つうか群な訳ねーだろ。
- 126 名前：名無しさん＠お腹いっぱい。 [03/04/30 12:06.net]
- というか >>113 はネタのつもりでしょ
ぜんぜんおもしろくないけど
- 127 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 128 名前：名無しさん＠お腹いっぱい。 [03/05/01 01:00.net]
- >>42
コンピュータを定義してください。
- 129 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/01 01:34.net]
- OS2 は何気に名前が群のようだと思うがどうよ？
- 130 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/01 01:54.net]
- unixにおける零元とは /dev/null のような気がする
と考えると，単位元が何なのか気になって眠れない．
- 131 名前：ななし mailto:sage [03/05/01 09:17.net]
- >>129
OS/2 に注意。
>>130
unix は環だったのですか？
- 132 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/01 23:53.net]
- >>128 Turing machine の定義で何か不満でも?
>>130 /dev/zero の立場は…
- 133 名前：名無しさん＠お腹いっぱい。 [03/05/02 02:35.net]
- プログラミングなんて、
大工仕事みたいなモンすよ
- 134 名前：名無しさん＠お腹いっぱい [03/05/02 03:31.net]
- 私の先輩は、机の上の土方仕事と言っていました。（あー実感）
- 135 名前：ななし [03/05/02 08:31.net]
- /dev/null と /dev/zero って同じものなの？
- 136 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 137 名前：名無しさん＠お腹いっぱい。 [03/05/02 13:35.net]
- ぬるぽ
- 138 名前：ななし [03/05/02 17:11.net]
- ∧＿∧
（ ・∀・） | | ｶﾞｯ
と ） | |
Ｙ /ノ 人
/ ） < >__Λ∩
＿/し' ／／. Ｖ｀Д´）/
（＿フ彡 / ←>>137
- 139 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 140 名前：名無しさん＠お腹いっぱい。 [03/05/03 00:11.net]
- 数学者が、UNIXを抽象化して、統合整理して、もっと簡潔にして完備な、
無駄のない、ごたごたした混乱を含まない整合性のある体型として、
再定義してもらえないものだろうか。
- 141 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 00:20.net]
- LISPマシンマンセー
- 142 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 03:32.net]
- そんなことより、アルゴリズムをPascal風に書くのが流行ってるのか？
もちろんPascal風であってPascalではないので、そのままでは動かないのはご愛敬だが。
PS.
阪大ではUNIX端末が壊滅しつつあります。
- 143 名前：名無しさん＠お腹いっぱい。 [03/05/03 06:31.net]
- > 阪大ではUNIX端末が壊滅しつつあります。
阪大でそのザマか． 端末は Windows ？
- 144 名前：あぼーん mailto:あぼーん [あぼーん.net]
- あぼーん
- 145 名前：名無しさん＠お腹いっぱい。 mailto:sage [03/05/03 07:36.net]
- >> 142
algol風では無かろうか。
- 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]
- 高山先生はキャラ立ちしてるからな。アカポスに就けなかった人とは
単純に能力だけで比較することは出来ないよ。
|
 |
