トップ «前の日記(2006-05-14) 最新 次の日記(2006-05-16)» 編集

はじめてのにき

ここの位置付け

2004|11|
2005|03|04|05|06|07|08|09|10|11|12|
2006|01|02|03|04|05|06|07|08|09|10|11|12|
2007|01|02|03|04|05|06|07|08|09|10|11|12|
2008|01|02|03|04|05|06|07|08|09|10|11|12|
2009|01|02|03|04|05|06|07|08|09|10|11|12|
2010|01|02|03|04|05|06|07|08|09|10|11|12|
2011|01|02|03|04|05|06|07|08|09|10|11|12|
2012|01|02|03|04|05|06|07|08|09|10|11|12|
2013|01|02|03|04|05|06|07|08|09|10|11|12|
2014|01|02|03|04|05|06|07|08|09|10|11|12|
2015|01|02|03|04|05|06|07|08|09|10|11|12|
2016|01|02|03|04|05|06|07|08|09|10|11|12|
2017|01|02|03|04|05|06|07|08|09|10|11|12|
2018|01|02|03|04|05|06|07|08|09|10|11|12|
2019|01|02|03|04|05|06|07|08|09|10|11|12|
2020|01|02|03|04|05|06|07|08|09|10|11|12|
2021|01|02|03|04|05|06|

ToDo:


2006-05-15

_ 無限の話

Aということを考えた、と、Aでないということ考えた、 で比較してるがそれはどうなんだ。 普通に考えて、Aということを考えてない、と対比させろよというか 文の否定ができてないというか。 だから先生じゃなく生徒に言わせてるんだろうけどなんかなぁ…

(04:37)

_ 寝て起きた。そんでえーと

Mathematica3を不明な手段(学校に申請?)で購入→ 日記にMathematica4を買ったと記入→ 3年とか熟成→ 日記をアップロード→ 5年とか経過→ Mathematicaにアタタタタ→ 実はその時Mathematicaは使ってません。 それ以来全くインストールしてない

って感じか…。購入方法に関しては、ヤフオク→中古屋→大学に申請、か。

(04:54)

_ configure作りかけすぎ

(04:59)

_ 関数型世界

http://d.hatena.ne.jp/ytqwerty/20060510#p1

こういう世界だと適当にメモリ確保して あとはGCにおまかせ☆な方向性より、 徹底した省メモリが流行りそうな気も… と思ったのだったけど、 まぁあまり関係ないし面白かった とか書こうと思ってたけど忘れてたとか。

論理型がヘゲってる世界だとどうなるかな… まぁ関数型とあんま変わらんか。

(05:08)

_ 論理型

上がってる状態: メンツメンツメンツメンツトイツ
メンツ: コーツ|シュンツ
コーツ: XXX
シュンツ: XYZ where X+2=Y+1=Z
トイツ: XX

例えばこんな感じでパーツを書いていくというか… なんかそのものチックなコード発見。

http://bach.istc.kobe-u.ac.jp/prolog/intro/agari0.pl

当時は、なんじゃこらと思った後に、 面白そうと思って、 しばらく考えて、 デバッグ大変そうとか 再帰的な構造書く場合に 枝刈り無しでいい場合はラクに書けるかもだけど 結局枝刈りとかすると面倒にならないか… とか思った記憶があるとか。

(05:19)

_ 無限論の教室

勉強になったし面白かった、と思う、けど、 あまりに読み物でしか無いな… もーちょい両方の立場がそれからどーなった? ってとこを見てみんと。

あと、読み物として考えると別にいいんだけど、 知識を得ようとして読むとアレだな、 教授の言ってることの強引さに納得できないものを 感じまくる、ってだけの話か。

(18:20)

_ lib .so

i@u ~/test> gcc \ .c -o \
i@u ~/test> ./\
0
i@u ~/test> cat \ .h
int space;
i@u ~/test> cat \ .c
#include " .h"
#include <stdio.h>

int main() {
        printf("%d\n", space);
}
i@u ~/test> gcc \ .c -o \
i@u ~/test> ./\
0
i@u ~/test> gcc -shared \ .c -o lib\ .so
i@u ~/test> gcc \ .c -L. -l\
i@u ~/test> ldd a.out
        linux-gate.so.1 =>  (0xffffe000)
        lib .so => not found
        libc.so.6 => /lib/libc.so.6 (0x4101d000)
        /lib/ld-linux.so.2 (0x41000000)

ごく普通にできておもろい。

(21:16)

_ なんか

VC5 の話をしてるなあああ… あと97年にVC6あったのかなあああ…

http://www.microsoft.com/japan/msdn/vs_previous/visualc/

(21:42)

_ あとで

http://annals.math.princeton.edu/issues/1995/141_3.html

読むわけはない。見る。

(23:34)

お名前:
E-mail:
コメント:
人生、宇宙、すべての答え
本日のリンク元

2006年
5月
1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31
1.Ioqyvutb(2014-05-24 02:30) 2.Lhinhmux(2014-05-24 02:30) 3.viagra(2014-05-24 02:30)
search / home / index

全てリンクフリーです。 コード片は自由に使用していただいて構いません。 その他のものはGPL扱いであればあらゆる使用に関して文句は言いません。 なにかあれば下記メールアドレスへ。

shinichiro.hamaji _at_ gmail.com / shinichiro.h