私は知識に何ものかを付け加え，また他の人々がより多くのものを付け加える手助けをした --- G.H.ハーディ

プロフィール

FC2カウンター

ブロとも申請フォーム

ET Q&A

2008/07/29(火) 19:11:50

5.25 インチ光学式ドライブ用外付けケース

2008/07/27(日) 20:00:30

[ 1114.057947] usb 4-5: new high speed USB device using ehci_hcd and address 3
[ 1114.190952] usb 4-5: configuration #1 chosen from 1 choice
[ 1114.193971] usb 4-5: New USB device found, idVendor=05e3, idProduct=0701
[ 1114.193984] usb 4-5: New USB device strings: Mfr=0, Product=1, SerialNumber=0
[ 1114.193988] usb 4-5: Product: USB Storage
[ 1114.318208] Initializing USB Mass Storage driver...
[ 1114.320571] scsi0 : SCSI emulation for USB Mass Storage devices
[ 1114.321108] usbcore: registered new interface driver usb-storage
[ 1114.321115] USB Mass Storage support registered.
[ 1114.330826] usb-storage: device found at 3
[ 1114.330835] usb-storage: waiting for device to settle before scanning
[ 1119.364129] usb-storage: device scan complete
[ 1119.364718] scsi 0:0:0:0: CD-ROM COMBO IDE4816CO 0037 PQ: 0 ANSI: 0 CCS
[ 1119.432136] Driver 'sr' needs updating - please use bus_type methods
[ 1119.437223] sr0: scsi3-mmc drive: 16x/16x writer cd/rw xa/form2 cdda tray
[ 1119.437235] Uniform CD-ROM driver Revision: 3.20
[ 1119.437332] sr 0:0:0:0: Attached scsi CD-ROM sr0
[ 1119.472173] sr 0:0:0:0: Attached scsi generic sg0 type 5

# cdrecord dev=/dev/sr0 -scanbus
scsibus0:
0,0,0 0) 'COMBO ' 'IDE4816CO ' '0037' Removable CD-ROM
0,1,0 1) *
0,2,0 2) *
0,3,0 3) *
0,4,0 4) *
0,5,0 5) *
0,6,0 6) *
0,7,0 7) *

LLVM 2.3 を動かしてみる

2008/07/23(水) 13:13:54

aloha@LENOVO-A41D2048 /c/tmp
$ tar jxvf llvm-2.3-x86-mingw32.tar.bz2
llvm-2.3/
llvm-2.3/bin/
llvm-2.3/bin/bugpoint.exe
llvm-2.3/bin/fpcmp.exe
llvm-2.3/bin/llc.exe
llvm-2.3/bin/lli.exe
llvm-2.3/bin/llvm-ar.exe
llvm-2.3/bin/llvm-as.exe
llvm-2.3/bin/llvm-bcanalyzer.exe
llvm-2.3/bin/llvm-db.exe
llvm-2.3/bin/llvm-dis.exe
llvm-2.3/bin/llvm-extract.exe
llvm-2.3/bin/llvm-ld.exe
llvm-2.3/bin/llvm-link.exe
llvm-2.3/bin/llvm-nm.exe
llvm-2.3/bin/llvm-PerfectShuffle.exe
llvm-2.3/bin/llvm-prof.exe
llvm-2.3/bin/llvm-ranlib.exe
llvm-2.3/bin/llvm-stub.exe
llvm-2.3/bin/llvmc2.exe
llvm-2.3/bin/opt.exe
llvm-2.3/bin/tblgen.exe

aloha@LENOVO-A41D2048 /c/tmp/llvm-2.3/test
$ cat test.ll

@.LC0 = internal constant [13 x i8] c"Hello world!\00"

declare i32 @puts(i8 *)

define i32 @main() {
  %cast210 = getelementptr [13 x i8]* @.LC0, i64 0, i64 0
  call i32 @puts(i8 * %cast210)
  ret i32 0
}

$ ../bin/llvm-as.exe test.ll
$ ls
test.bc test.ll test.ll~

$ ../bin/llvm-dis.exe test.bc

c:\tmp\llvm-2.3\bin\llvm-dis.exe: error opening 'test.ll': file exists! Sending to standard output.
; ModuleID = 'test.bc'
@.LC0 = internal constant [13 x i8] c"Hello world!\00"          ; <[13 x i8]*> [#uses=1]

declare i32 @puts(i8*)

define i32 @main() {
        %cast210 = getelementptr [13 x i8]* @.LC0, i64 0, i64 0         ;  [#uses=1]
        call i32 @puts( i8* %cast210 )          ; :1 [#uses=0]
        ret i32 0
}

$ ../bin/lli.exe test.bc
Hello world!

$ ../bin/llc.exe test.bc
$ ls
test.bc test.ll test.ll~ test.s

$ cat test.s

        .text
        .align  16
        .globl  _main
        .def     _main; .scl    2;      .type   32;     .endef
_main:
        pushl   %ebp
Llabel1:
        movl    %esp, %ebp
Llabel2:
        subl    $8, %esp
        call    ___main
        movl    $_.LC0, (%esp)
        call    _puts
        xorl    %eax, %eax
        addl    $8, %esp
        popl    %ebp
        ret
        .data
_.LC0:                          # .LC0
        .asciz  "Hello world!"
        .def     _puts; .scl    2;      .type   32;     .endef

$ gcc test.s

This application has requested the Runtime to terminate it in an unusual way.
Please contact the application's support team for more information.

$ tar jxvf llvm-gcc4.2-2.3-x86-mingw32.tar.bz2
$ cat test.c
#include<stdio.h>

int main() {
puts("hello, world!");
return 0;
}

$ ../bin/llvm-gcc.exe test.c
$ ls
a.exe test.c test.c~

$ ./a.exe
hello, world!

$ ../bin/llvm-gcc.exe -emit-llvm -S test.c
$ cat test.s
; ModuleID = 'test.c'
target datalayout = "e-p:32:32:32-i1:8:8-i8:8:8-i16:16:16-i32:32:32-i64:32:64-f32:32:32-f64:32:64-v64:64:64-v128:128:128-a0:0:64-f80:32:32"

target triple = "i386-mingw32"
@.str = internal constant [14 x i8] c"hello, world!\00"         ; <[14 x i8]*> [#uses=1]

define i32 @main() nounwind  {
entry:
        %retval = alloca i32            ; <i32*> [#uses=2]
        %tmp = alloca i32               ; <i32*> [#uses=2]
        %"alloca point" = bitcast i32 0 to i32          ; <i32> [#uses=0]
        %tmp1 = call i32 @puts( i8* getelementptr ([14 x i8]* @.str, i32 0, i32 0) ) nounwind           ; <i32> [#uses=0]
        store i32 0, i32* %tmp, align 4
        %tmp2 = load i32* %tmp, align 4         ; <i32> [#uses=1]
        store i32 %tmp2, i32* %retval, align 4
        br label %return

return:         ; preds = %entry
        %retval3 = load i32* %retval            ; <i32> [#uses=1]
        ret i32 %retval3
}

declare i32 @puts(i8*)

知識表現とProlog / KR

2008/07/20(日) 21:21:25

Prolog/KR は，もともと Utilisp [Chikayama 1981] (日立，富士通のMシリーズ，IBM370 で動く)上に作製されたが，現在 Franzlisp (VAX Unix)，Maclisp (DEC-20)，Zetalisp (Lisp マシン) の版がある．Lisp マシン版は多重世界機構の拡張とともに Uranus と呼ばれている． (p.70)

100 年 Windows 横山哲也 2006年09月12日 渕一博氏を偲ぶ

Prologは，プログラム言語としてはかなり未完成であった。例えば，まともなプログラムを書くには，カットオペレータという演算子が必須である。ところが，カットオペレータの強力さと単純さはGOTO文の比ではなく，結果としてプログラムの見通しは極めて悪いものとなった。そこで，研究者の間では，述語論理型言語にどのような制御構造が必要かという考察が行われていたことを記憶している。私は，自分の研究に，中島秀之氏（現公立はこだて未来大学学長）の作成したProlog/KRを使うことにした。当時，オンライン・コミュニティはあまり発達しておらず，中島氏が所属していた東京大学まで電話をして磁気テープを送ってもらったことを覚えている。もちろんオープンリールである。

　Prolog/KRは，LispとPrologと融合した言語で，十分な制御構造が備わっていた。ただし，追加された制御構造は手続き型の側面が強く，述語論理の特徴を生かせていたとは言い切れない。ところで，どうでもいいことだが，1986年に広島で開催された情報処理学会全国大会で偶然中島氏をお見かけしたので，著書にサインをいただいた。今でも大事にとってある。

　一方，ICOTではPrologを拡張したGHC（Guarded Horn Clause）をベースに，KL-1を開発した。こちらは，述語論理の特徴を生かし，さらに並列処理まで実現していた。ただ，Prolog固有の構文が色濃く残っており，慣れないと使いこなすのは難しいだろう。

Thinkpad X61s (7666-77J) 購入

2008/07/17(木) 20:57:27

最近のコメント

リンク

最近のトラックバック

人生の残り日数

RSSフィード

カテゴリー