「ほっ」と。キャンペーン

とりとめのないことを書いております。
by tempurature
カテゴリ
全体
プログラミング
scheme
verilog
未分類
以前の記事
2016年 04月
2016年 03月
2016年 02月
2016年 01月
2015年 12月
2015年 11月
2015年 10月
2015年 09月
2015年 08月
2015年 07月
2015年 06月
2015年 03月
お気に入りブログ
PHPで競技プログラミング
メモ帳
最新のトラックバック
ライフログ
検索
タグ
人気ジャンル
ブログパーツ
最新の記事
情報処理技術者試験 お疲れ様..
at 2016-04-17 18:55
基本情報技術者試験 平成27..
at 2016-04-14 04:48
基本情報技術者試験 平成27..
at 2016-04-13 23:03
苦い薬(ハーブ、サプリメント..
at 2016-04-09 14:03
「おバカ度チェックリスト」を..
at 2016-03-24 09:54
外部リンク
ファン
記事ランキング
ブログジャンル
画像一覧
タグ:Eiffel ( 10 ) タグの人気記事
B.メイヤー「オブジェクト指向入門」7.13 演習問題を解く(3)
この問題もビルドチェックしかしてません。しかも8章の生成プロシージャも使っています。

E7.4

note
    description: "2-dimentional polar coordinate system"
class
    POINT2
create
    make_cartesian,
    make_polar
feature
    make_cartesian(x1, y1: REAL)
        local
            m: SINGLE_MATH
        do
            create m
            rho := m.sqrt(sqr(x1)+sqr(y1))
            if y1 = 0.0 then
                if x1 >= 0.0 then
                    theta := 0.0
                else
                    theta := pi
                end
            elseif (y1/x1).is_nan then
                if (y1 < 1.0 and x1 < 1.0) then
                    theta := 0.0
                else
                    theta := y1.nan
                end
            elseif y1.is_positive_infinity then
                theta := 0.0
            elseif y1.is_negative_infinity then
                theta := pi
            else
                theta := m.arc_tangent (y1/x1)
            end
        end
    make_polar(r, th: REAL)
        do
            rho := r
            theta := th
        end
feature
    rho, theta: REAL
    x: REAL
            -- x-coordinate
        local
            m: SINGLE_MATH
        do
            create m
            Result := rho * m.cosine (theta)
        end
    y: REAL
            -- y-coordinate
        local
            m: SINGLE_MATH
        do
            create m
            Result := rho * m.sine (theta)
        end
    distance(p: POINT): REAL
            -- distance to p
        local
            m: SINGLE_MATH
        do
            create m
            Result := m.sqrt(sqr(x-p.x)+sqr(y-p.y))
        end
    translate(a, b: REAL)
            -- move a horizontally, b virtically
        local
            x1, y1: REAL
        do
            x1 := x
            y1 := y
            make_cartesian(x1+a, y1+b)
        end
    rotate(p:POINT; angle: REAL)
            -- rotate around p
        do
            translate(-p.x, -p.y)
            theta := theta + angle
            translate(p.x, p.y)
        end
    scale(factor: REAL)
            -- magnify by factor
        do
            rho := rho * factor
        end
feature{NONE}
    sqr(r: REAL): REAL
            -- square of a number
        do
            Result := r * r
        end
    pi: REAL
        local
            m: SINGLE_MATH
        do
            create m
            Result := m.pi.truncated_to_real
        end
end


[PR]
by tempurature | 2016-01-13 23:42 | プログラミング
メイヤー教授の最新の本、「Touch Of Class」
「オブジェクト指向入門」の著者であるバートランド・メイヤー教授が2013年にTouch Of Classという本を出していて、初心者向けらしいのでとても興味があります。


ただ、Touch Of Classは876ページ!(「オブジェクト指向入門」の分冊と同じくらい)
本を高枕にすることができます。

本は高いしかさばるし、電子書籍は読む気がしない。
オブジェクト指向入門も10%も読んでないし、しばらく我慢しよう。


[PR]
by tempurature | 2016-01-13 00:09 | プログラミング
B.メイヤー「オブジェクト指向入門」7.13 演習問題を解く(2)
いよいよコーディングができる課題に入りました。
とはいえ、ビルドチェックしかしていないです。

E7.2

indexing
    description: "2次元の点"
    -- (注意:EiffelStudio/このクラスのPropertiesはTransitional Syntaxに設定すること)
class POINT feature
    x: REAL
    y: REAL
        -- 横座標と縦座標
    rho: REAL is
        local
            m: SINGLE_MATH
        -- 原点(0,0)までの距離
        do
            create m
            Result := m.sqrt(x*x+y*y)
        end
    theta: REAL is
            -- 横軸に対する角度
        local
            tanval, atanval: REAL
            m :SINGLE_MATH
        do
            create m
            tanval := y / x
            atanval := m.arc_tangent(tanval)
            if tanval.is_nan then
                if x.abs < 1.0 and y.abs < 1.0 then
                    Result := 0.0
                else
                    Result := tanval.nan
                end
            elseif tanval.is_negative_infinity then
                Result := -m.pi.truncated_to_real
            elseif tanval.is_positive_infinity then
                Result := m.pi.truncated_to_real
            else
                Result := atanval
            end
        end

    distance(p: POINT): REAL is
            -- pまでの距離
        local
            m: SINGLE_MATH
        do
            create m
            Result := m.sqrt (sqr(x-p.x)+sqr(y-p.y))
        end
    translate(a, b: REAL) is
            -- 水平方向にa, 垂直方向にbだけ移動する
        do
            x := x + a
            y := y + b
        end
    scale(factor: REAL) is
            -- factorを率として拡大縮小する
        do
            x := factor * x
            y := factor * y
        end
    rotate(p: POINT; angle: REAL) is
            -- pを中心にangle度回転させる
        local
        do
            translate(-p.x, -p.y)
            rotate_around_origin(angle)
            translate(p.x, p.y)
        end
feature{POINT}
    sqr(r: REAL): REAL is
            -- 2乗する
        do
            Result := r * r
        end
    rotate_around_origin(angle: REAL) is
            -- 原点を中心にangle度回転させる
        local
            tmpx: REAL
            m: SINGLE_MATH
        do
            create m
            tmpx := rho * m.cosine (theta + angle)
            y := rho * m.sine (theta + angle)
            x := tmpx
        end

end


[PR]
by tempurature | 2016-01-12 22:46 | プログラミング
B.メイヤー「オブジェクト指向入門」7.13 演習問題を解く(1)
E7.1

システムがユーザ(赤)に関する情報を維持する必要のない問題領域でも、「ユーザ(赤※1)」というオブジェクトを識別できる。この場合、システムは通常の識別番号や、名前、アクセス特権などを必要としないが、システムは、要求に応え、必要な情報を即座に提供するために、ユーザ(青)を監視する必要はある。したがって、現実世界のもの(青)(この場合は、ユーザ(青))にサービスを提供するために、問題領域のモデルに対して対応するオブジェクトを追加する必要がある。

※1 実際には「山田さん」、「田中さん」という名前のオブジェクトと考えたため。

E7.2

※E6.1と同じ問題


[PR]
by tempurature | 2016-01-12 22:40 | プログラミング
Eiffelの関数型プログラミング(FP)サンプル
Eiffelで関数型プログラミングができるみたいです。いまどきC++でもFPできるみたいなので当たり前といえば当たり前ですけど。で、Eiffel+FP=Satherという立ち位置だったみたいですがSatherは2000年を過ぎたあたりで開発中止になっているようです。

LispからみてHaskellはもっさりしていますが、Eiffelはさらにもっさりしています。Eiffelで関数型を定義するときは当然型宣言が必要ですし、呼び出すときにagentと記述しないといけないようです。

note
    description: "Root for trivial system printing a message."
    author: "tempurature"
class
    HELLO
create
    make
feature
    make
            -- Print a simple message.
        do
            io.put_string ("Hello World")
            io.put_new_line
            io.putreal (integral(agent sqr, 0, 1))
        end
    step : REAL = 0.05
    sqr(r:REAL) : REAL
            -- square function
        do
            Result := r * r
        end
    integral(f:FUNCTION[ANY, TUPLE[REAL], REAL]; a, b: REAL) : REAL
            -- calculate the integral of [a,b].
        local x: REAL; i: INTEGER
        do
            from x := a until x > b loop
                Result := Result + f.item ([x]) * step
                i := i + 1
                x := a + i * step
            end
        end

end -- class HELLO


[PR]
by tempurature | 2016-01-10 23:58 | プログラミング
B.メイヤー「オブジェクト指向入門」6.10 演習問題を解く(4)
E6.11

TYPES
- DISPENSER[S, G] -- S as structure
- STACK[G] = DISPENSER[STACK, G]
- QUEUE[G] = DISPENSER[QUEUE, G]
FUNCTIONS
- put : DISPENSER[S, G] x G -> DISPENSER[S, G]
- remove : DISPENSER[S, G] |> DISPENSER[S, G]
- item : DISPENSER[S, G] |> G
- empty : DISPENSER[S, G] -> BOOLEAN
- new_stack : STACK[G]
- new_queue : QUEUE[G]
AXIOMS
任意のx:G, s:STACK[G], q:QUEUE[G], d:DISPENSER[S, G]に対して
[A1] empty(new_stack)
[A2] empty(new_queue)
[A3] not empty(put(d, x))
[A4] item(put(s, x)) = x
[A5] remove(put(s, x)) = s
[A6] if empty(q) then item(put(q, x)) = x
[A7] put(remove(q), x) = remove(put(q, x))
[A8] if empty(q) then empty(remove(put(q, x)))
PRECONDITIONS
- remove(d) require not empty(d)
- item(d) require not empty(d)

E6.12

TYPES
- BOOLEAN
FUNCTIONS
- true : BOOLEAN
- false : BOOLEAN
- or : BOOLEAN x BOOLEAN -> BOOLEAN
- and : BOOLEAN x BOOLEAN -> BOOLEAN
AXIOMS
任意のa, b : BOOLEANに対して
[A1] true = true -- true, falseで生成されるBOOLEANオブジェクトは
[A2] false = false -- 単一元であることを示す
[A3] or(true, b) = or(a, true) = true
[A4] or(false, false) = false
[A5] and(false, b) = and(a, false) = false
[A6] and(true, true) = true

E6.13
E6.14

数学的な内容なので断念


[PR]
by tempurature | 2016-01-10 18:54 | プログラミング
B.メイヤー「オブジェクト指向入門」6.10 演習問題を解く(3)
E6.6

TYPES
- TEXTFILE
FUNCTIONS
- open : TEXTFILE x STRING |> TEXTFILE
- isopen : TEXTFILE -> BOOLEAN
- save : TEXTFILE -> TEXTFILE x BOOLEAN
- saveAs : TEXTFILE x STRING -> TEXTFILE x BOOLEAN
- close : TEXTFILE -> TEXTFILE
- lines : TEXTFILE |> INTEGER
- line : TEXTFILE x INTEGER |> STRING
- modify : TEXTFILE x INTEGER x STRING |> TEXTFILE
- delete : TEXTFILE x INTEGER |> STRING
- add : TEXTFILE x INTEGER x STRING |> TEXTFILE
- ismodified : TEXTFILE |> BOOLEAN
- undo : TEXTFILE |> TEXTFILE
AXIOMS
任意のt : TEXTFILE, i, j : INTEGER, s : STRINGに対して
[A1] not isopen(close(t))
[A2] line(modify(t, i, s), j) = (if i = j then s else line(t, j))
[A3] line(delete(t, i), j) = (if j < i then line(t, j) else line(t, j-1))
[A4] if (j < i) then line(add(t, i, s), j) = line(t, j)
[A5] line(add(t, i, s), i) = s
[A6] if (j > i) then line(add(t, i, s), j) = line(t, j-1)
[A7] lines(modify(t, i, s)) = lines(t)
[A8] lines(delete(t, i)) = lines(t) - 1
[A9] lines(add(t, i, s)) = lines(t) + 1
[A10] if isopen(open(t, s)) then not ismodified(open(t, s))
[A11] if (snd save(t)) then not ismodified(fst save(t))
[A12] if not (snd save(t)) then ismodified(fst save(t)) = ismodified(t)
[A13] if (snd saveAs(t, s)) then not ismodified(fst saveAs(t, s))
[A14] if not (snd saveAs(t, s)) then ismodified(fst saveAs(t, s)) = ism..d(t)
[A15] ismodified(modify(t, i, s))
[A16] ismodified(delete(t, i))
[A17] ismodified(add(t, i, s))
[A18] not ismodified(undo(modify(t, i, s))
[A19] not ismodified(undo(delete(t, i))
[A20] not ismodified(undo(add(t, i, s))
PRECONDITIONS
open(t) requires not isopen(t)
lines(t) requires isopen(t)
line(t, i) requires isopen(t)
modify(t, i, s) requires isopen(t)
delete(t, i) requires isopen(t)
add(t, i, s) requires isopen(t)
ismodified(t) requires isopen(t)
undo(t) requires isopen(t) and ismodified(t)

E6.7

TYPES
- HOUSE_BUYER
FUNCTIONS
- new : NONE -> HOUSE_BUYER
- find_property : HOUSE_BUYER -> HOUSE_BUYER
- property_found : HOUSE_BUYER -> BOOLEAN
- get_loan : HOUSE_BUYER -> HOUSE_BUYER
- loan_approved : HOUSE_BUYER -> BOOLEAN
- sign_contract : HOUSE_BUYER |> HOUSE_BUYER
- isdone : HOUSE_BUYER -> BOOLEAN
AXIOMS
任意のh : HOUSE_BUYERに対して
[A1] not property_found(new)
[A2] property_found(find_property(h))
[A3] property_found(get_loan(h)) = property_found(h)
[A4] property_found(sign_contract(h)) = property_found(h)
[A5~7] loan_approved...
[A8~10] isdone...
PRECONDITIONS
sign_contract(h) requires property_found(h) and loan_approved(h)

E6.8

TYPES
- STACK[G]
FUNCTIONS
- put : STACK[G] x G -> STACK[G]
- remove : STACK[G] |> STACK[G]
- item : STACK[G] |> G
- empty : STACK[G] -> BOOLEAN
- new : STACK[G]
- count : STACK[G] -> INTEGER
- change_top : STACK[G] x G |> STACK[G]
- wipe_out : STACK[G] -> STACK[G]
AXIOMS
任意のx : G, s : STACK[G]に対して
[A1] item(put(s, x)) = x
[A2] remove(put(s, x)) = s
[A3] empty(new)
[A4] not empty(put(s, x))
[A5] if empty(s) then count(s) = 0
[A6] count(put(s, x)) = count(x) + 1
[A7] change_top(s, x) = put(remove(s), x)
[A8] empty(wipe_out(s))
PRECONDITIONS
- remove(s:STACK[G]) require not empty(s)
- item(s:STACK[G]) require not empty(s)
- change_top(s:STACK[G], x:G) require not empty(s)

E6.9

TYPES
- STACK[G]
FUNCTIONS
- put : STACK[G] x G |> STACK[G]
- remove : STACK[G] |> STACK[G]
- item : STACK[G] |> G
- empty : STACK[G] -> BOOLEAN
- new : STACK[G]
- count : STACK[G] -> INTEGER
- capacity : INTEGER
AXIOMS
任意のx : G, s : STACK[G]に対して
[A1] item(put(s, x)) = x
[A2] remove(put(s, x)) = s
[A3] empty(new)
[A4] not empty(put(s, x))
[A5] if empty(s) then count(s) = 0
[A6] count(put(s, x)) = count(x) + 1
[A7] capacity >= 0
PRECONDITIONS
- put(s:STACK[G], x:G) require count(s) < capacity
- remove(s:STACK[G]) require not empty(s)
- item(s:STACK[G]) require not empty(s)

E6.10

TYPES
- QUEUE[G]
FUNCTIONS
- put : QUEUE[G] x G -> QUEUE[G]
- remove : QUEUE[G] |> QUEUE[G]
- item : QUEUE[G] |> G
- empty : QUEUE[G] -> BOOLEAN
- new : QUEUE[G]
AXIOMS
任意のx : G, q : QUEUE[G]に対して
[A1] if empty(q) then item(put(q, x)) = x
[A2] put(remove(q), x) = remove(put(q, x))
[A3] if empty(q) then empty(remove(put(q, x)))
[A4] empty(new)
[A5] not empty(put(q, x))
PRECONDITIONS
- remove(q) require not empty(q)
- item(q) require not empyt(q)

[スタックとキューの類似点]
・保持している個数は同じなので、emptyの公理、remove, itemの事前条件は同じ

[スタックとキューの相違点]
・スタックではput, removeが逆操作であるが、キューではそうでなく、
 putとremoveの関係を表すのに可換則や打ち消しルールが必要になった。

(※Exciteブログの制約によりopen, isopenをopen, isopenと表記している箇所があります)

[PR]
by tempurature | 2016-01-10 16:39 | プログラミング
B.メイヤー「オブジェクト指向入門」6.10 演習問題を解く(2)
E6.3

TYPES
- BANK
- ACCOUNT
FUNCTIONS
- deposit : ACCOUNT x INTEGER |> ACCOUNT
- withdraw : ACCOUNT x INTEGER |> ACCOUNT
- balance : ACCOUNT -> INTEGER
- holder : ACCOUNT -> STRING
- changeName : ACCOUNT x STRING -> ACCOUNT
- new : STRING x INTEGER |> ACCOUNT
- open : BANK x ACCOUNT |> BANK
- close : BANK x ACCOUNT |> BANK
- exists : BANK x ACCOUNT -> BOOLEAN
AXIOMS
任意のb : BANK, a : ACCOUNT, c : INTEGER, s : STRINGに対して、
[A1] balance(deposite(a, c)) = balance(a) + c
[A2] balance(withdraw(a, c)) = balance(a) - c
[A3] holder(new(s, c)) = s
[A4] balance(new(s, c)) = c
[A5] holder(changeName(a, s)) = s
[A6] exists(open(b, a), a)
[A7] not exists(close(b, a), a)
PRECONDITIONS
deposit(a, c) requires c > 0
withdraw(a, c) requires c >= balance(a)
new(s, c) requires c > 0
open(b, a) requires not exists(b, a)
close(b, a) requires exists(b, a)

(※exciteブログの制限で、一部openをopenと表記しています)

E6.4

TYPES
- MAIL_MESSAGE
- MAIL_ADDRESS
- FILE_PATH
FUNCTIONS
- body : MAIL_MESSAGE -> STRING
- title : MAIL_MESSAGE -> STRING
- to : MAIL_MESSAGE -> LIST[MAIL_ADDRESS]
- cc : MAIL_MESSAGE -> LIST[MAIL_ADDRESS]
- bcc : MAIL_MESSAGE -> LIST[MAIL_ADDRESS]
- attachedFiles : MAIL_MESSAGE -> LIST[FILE_PATH]
- new : LIST[MAIL_ADDRESS] x LIST[MAIL_ADDRESS] x LIST[MAIL_ADDRESS] x STRING x STRING x LIST[FILE_PATH] -> MAIL_MESSAGE
- newReplyMessage : MAIL_MESSAGE x STRING x LIST[FILE_PATH] -> MAIL_MESSAGE
- newForwardMessage : MAIL_MESSAGE x LIST[MAIL_ADDRESS] x LIST[MAIL_ADDRESS] x LIST[MAIL_ADDRESS] -> MAIL_MESSAGE
- removeMe : LIST[MAIL_ADDRESS] -> LIST[MAIL_ADDRESS]
AXIOMS
任意のa, b, c : LIST[MAIL_ADDRESS], s, t, r : STRING, f, g : LIST[FILE_PATH] m : MAIL_MESSAGEに対して
[A1] (bodyに関する)
[A2] (title...)
[A3] (to...)
[A4] (cc...)
[A5] (bcc...)
[A6] (attachedFiles...)
[A7] body(newReplyMessage(m, s, f)) = s
[A8] title(newReplyMessage(new(a, b, c, s, t, f), s, g)) = "Re: " ++ s
[A9] to(newReplyMessage(new(a, b, c, s, t, f), s, g)) = removeMe(a)
[A10] cc(newReplyMessage(new(a, b, c, s, t, f), s, g)) = b
[A11] bcc( ... ) = c
[A12] attachedFiles( ... ) = f
[A13] body(newForwardMessage(m), a, b, c) = body(m)
[A14] title(...) = "Fw: " ++ title(m)
[A15] to(...) = a
[A16] cc(...) = b
[A17] bcc(...) = c
[A18] attachedFiles(...) = attachedFiles(m)

E6.5

TYPES
- NAME
FUNCTIONS
- newAngloSaxonPerson : STRING |> NAME
- newJapanesePerson : STRING |> NAME
- newChinesePerson : STRING |> NAME
- tostring : NAME -> STRING
AXIOMS
任意のn : NAME, s : STRINGに対して
[A1] tostring(newAngloSaxonPerson(s)) = s
[A2] tostring(newJapanesePerson(s)) = s
[A3] tostring(newChinesePerson(s)) = s
PRECONDITIONS
newAngloSaxonPerson(s) requires match(/^\S+ (\S\. )*\S+$/, s)
newJapanesePerson(s) requires match(/^\S+ \S+$/, s)
newChinesePerson(s) requires match(/^\S+ \S+(| \S+)$/, s)


[PR]
by tempurature | 2016-01-10 01:31 | プログラミング
B.メイヤー「オブジェクト指向入門」6.10 演習問題を解く(1)
E6.1

TYPES
- POINT
FUNCTIONS
- nearlyEqual : REAL x REAL -> BOOLEAN
- x : POINT -> REAL
- y : POINT -> REAL
- rho : POINT -> REAL
- theta : POINT -> REAL
- rotate : POINT x REAL -> POINT
- move : POINT x REAL x REAL -> POINT
- distanceToOrigin : POINT -> REAL
- distance : POINT x POINT -> REAL
- newFromXY : REAL x REAL -> POINT
- newFromPolar : REAL x REAL -> POINT
AXIOMS
任意のa,b,c,d : REAL, p, q : POINTに対して、
[A1] nearlyEqual( x(p), rho(p) * cos(theta(p)) )
[A2] nearlyEqual( y(p), rho(p) * sin(theta(p)) )
[A3] nearlyEqual( rotate( newFromPolar(a, b), c ), newFromPolar(a, b+c) )
[A4] nearlyEqual( move( newFromXY(a, b), c, d ), newFromXY(a+c, b+d) )
[A5] nearlyEqual( distanceToCenter(p), sqrt( x(p)*x(p) + y(p)*y(p) ) )
[A6] nearlyEqual( distance(p, q), sqrt( (x(p)-x(q))^2 + (y(p)-y(q))^2 ) )
[A7] nearlyEqual( x( newFromXY(a, b) ), a )
[A8] nearlyEqual( y( newFromXY(a, b) ), b )
[A9] nearlyEqual( rho( newFromPolar(a, b) ), a )
[A10] nearlyEqual( theta( newFromPolar(a, b) ), b)
[A11] nearlyEqual( a, a )
[A12] if (abs(a-b) > 1) then not nealyEqual( a, b )
PRECONDITIONS
(none)

E6.2

TYPES
- ADT_LEAGUE
- BOXER
- GAME
- WINNER_ENUM := {DEFENDER, NONE, CHALLENGER}
FUNCTIONS
- renew : ADT_LEAGUE x GAME -> ADT_LEAGUE
- better : ADT_LEAGUE x BOXER x BOXER -> BOOLEAN
- makeGame : ADT_LEAGUE x BOXER x BOXER x WINNER_ENUM -> GAME
AXIOMS
任意のa : ADT_LEAGUE, b, c, d : BOXERに対して、
[A1] better(renew(a, makeGame(a, b, c, CHALLENGER), c, b)
[A2] if better(a, b, c) then better(renew(a, makeGame(a, b, d, CHALLENGER)), d, c)
[A3] if better(a, b, c) then better(renew(a, makeGame(a, c, d, CHALLENGER)), b, d)
[A4] better(renew(a, makeGame(a, b, c, DEFENDER)), b, c)
[A5] better(renew(a, makeGame(a, b, c, NONE)), b, c)
PRECONDITIONS
makeGame(a, b, c, e) requires better(a, b, c)


[PR]
by tempurature | 2016-01-10 01:23 | プログラミング
ISE EiffelStudio GPL Editionをインストールしました
無料で使えるEiffelを探して入れました。最初、GPLのEiffelであるSmart EiffelとLiberty Eiffelを試してみましたが、エラーが発生してWIndowsにもUbuntuにもインストール出来ませんでした。

そこで、Eiffelの商用製品であるISE Eiffelの無料版がGPLライセンスであるということで、早速インストールしました。


最初、Windows8にインストールしたのですが、対応バージョンがWindows7までということで、正しく動作してくれませんでした。

次に、Ubuntuにインストールしました。こちらのほうは正しく動作してくれたので満足です。それにしても、EiffelStudioの起動は不気味なくらい速くて、感心しました。

(追記) Windows8でもWindows7モードで動作することを確認しています。

[PR]
by tempurature | 2016-01-08 01:04 | プログラミング