- 1 名前：名無しさん＠お腹いっぱい。 [03/01/27 09: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で作る」というのが曖昧だ罠
|
 |
