ししちにじゅうはち　４×７＝２８

ししちにじゅうはち　４×７＝２８ http://yontahacker.blog32.fc2.com/ クールなハッカーを目指す、初心者プログラマの奮闘日記。 ja http://yontahacker.blog32.fc2.com/blog-entry-20.html λ式 λ式は次のBNF文法で表される式．組やcaseなどの拡張もあるけど，基本はこれだけ． M ::= x　　　　(変数)     | λx.M　(λ抽象)     | M M　　(関数適用)λ式は実は計算のモデルの1つで，これで非常に強力な表現力を持っている．つまりプログラムを抽象化するモデルの1つになる．例えば簡単な例．trueとfalseとif文をλ式で表せるかというと，以下のよう

M ::= x　　　　(変数)

| λx.M　(λ抽象)

| M M　　(関数適用)

λ式は実は計算のモデルの1つで，これで非常に強力な表現力を持っている．
つまりプログラムを抽象化するモデルの1つになる．

例えば簡単な例．trueとfalseとif文をλ式で表せるかというと，以下のように表せる．

true = λx.λy.x
false= λx.λy.y
if A then B else C = (λx.λy.λz.x y z) A B C

嘘のようだが，これでtrueとfalseとif文を表している．
例えばif false then a else bを考えてみると，

if false then a else b
=eval=> b

(λx.λy.λz.x y z) (λx.λy.y) a b
β=> (λy.λz.(λx.λy.y) y z) a b
β=> (λz.(λx.λy.y) a z) b

β=> (λx.λy.y) a b

β=> (λy.y) b
β=> b

となり，確かに合っている．
なお=eval=>は評価，β=>はβ簡約であり，詳細を省略するとβ簡約は以下の定義となる．

(λx.M) N β=> [N/x] M
※[N/x] MはMの中のxをNで書きかえるの意味で以下のようになる．

[N/x] x = N
[N/x] y = y (x≠y)
[N/x] λx.M = λx.M
[N/x] λx.M = λx. ([N/x] M) (x≠y)
[N/x] (M1 M2) = ([N/x] M1) ([N/x] M2)

つまり何が言いたいって言うと，λ式があれば，つまり変数とλ抽象と関数適用があれば，プログラミング言語が作れる．
きもい，きもすぎる．
しかしそれがλ式の真実．関数型言語系の基礎・・・！

ちなみに実際にλ抽象と関数適用しかない言語で有名なものにGrassがありますね．
この言語は文字種も少ないけど，操作も少ないよｗＷｗ

]]> diary 2009-11-17T20:41:11+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-19.html WinMover WinMoverを導入しました． http://www.eliasae.se/winmover/download/WinMoverはWindows上でのウィンドウ移動やリサイズの手助けソフト．普通ウィンドウ移動は，タイトルバーをドラッグアンドロップで行います．このソフトを導入するとウィンドウ移動のドラッグアンドロップがどこでもできるようになります．初期設定はLinuxのようにAlt+左クリックでウィンド移動，Alt+右クリックでウィンドサイズ変更ができます．LinuxにおけるAl
WinMoverはWindows上でのウィンドウ移動やリサイズの手助けソフト．
普通ウィンドウ移動は，タイトルバーをドラッグアンドロップで行います．
このソフトを導入するとウィンドウ移動のドラッグアンドロップがどこでもできるようになります．

初期設定はLinuxのようにAlt+左クリックでウィンド移動，Alt+右クリックでウィンドサイズ変更ができます．
LinuxにおけるAltでのウィンドウ操作に慣れた人にお勧め．
操作方法のカスタムもできて，非常にお勧めです．

]]> Windows 2009-11-14T18:20:32+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-18.html 生きてますふとこの日記の存在を思い出した．今は自分の研究のできなさに絶望して死にたい．なんで俺はこんなにできない子なんだ．性格や態度（姿勢的な）も悪いとかどうしようもねぇ・・・．治そう治そうと思いつつも，結局振り出しに戻るし．
今は自分の研究のできなさに絶望して死にたい．
なんで俺はこんなにできない子なんだ．
性格や態度（姿勢的な）も悪いとかどうしようもねぇ・・・．
治そう治そうと思いつつも，結局振り出しに戻るし． ]]> diary 2009-11-09T02:38:56+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-16.html どこまで書いていいやら研究って周りに言っていいことと駄目なことがあるから、日記に向かないということに気づいた。というわけでなんか書けることが思いついたら書きます。現状は卒論に追われてます。学部の卒論なんて（笑）と先輩や教授に言われてますが、当人は必死です。てか形になるのかああああ。つか探求しようとした内容は去年に解決してるっぽいしいいいい。どないしよおあた。というわけでなんか書けることが思いついたら書きます。

現状は卒論に追われてます。学部の卒論なんて（笑）と先輩や教授に言われてますが、当人は必死です。
てか形になるのかああああ。つか探求しようとした内容は去年に解決してるっぽいしいいいい。

どないしよおあた。 ]]> diary 2009-02-15T23:37:18+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-15.html あっー日記忘れてたー！！！生存報告生きてます。構文解析の話ｶﾞﾝﾊﾞｯﾃﾏｽ。次の更新は構文解析の話をしたいね！生存報告生きてます。
構文解析の話ｶﾞﾝﾊﾞｯﾃﾏｽ。
次の更新は構文解析の話をしたいね！ ]]> diary 2008-12-18T04:19:32+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-14.html ちょっと本気出す、いろいろと廃人プレイしてたオンラインゲームを封印しました。ちなみに封印はきっとすぐ解けます学校ではゼミのための論文読みやプログラミングを。家ではPHPをいろいろとやってみることを。こんな感じのスケジュールでやっていこうかと。PHPは以前インターンシップの授業でちょこっとやったまま放置してました。しかし今後や勉強のためを考えて再度やろうかと思います。頑張って公開できるようなブログとか掲示板とか作れるといいね。ゆっく ~~ちなみに封印はきっとすぐ解けます~~

学校ではゼミのための論文読みやプログラミングを。
家ではPHPをいろいろとやってみることを。

こんな感じのスケジュールでやっていこうかと。

PHPは以前インターンシップの授業でちょこっとやったまま放置してました。
しかし今後や勉強のためを考えて再度やろうかと思います。

頑張って公開できるようなブログとか掲示板とか作れるといいね。

ゆっくりしていってね！！！ ]]> PHP 2008-11-15T01:47:54+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-13.html 今北産業夏休みを追加でもらう↓夏休みが9月中旬に終わる↓夏休み遊びほうけてた＼(＾o＾)／ｵﾜﾀ↓ゼミやらスタートがんばる↓左肺気胸になって入院する↓退院後ゼミやら出始める　　←今ここ↓あれ、卒論は？ ↓
夏休みが9月中旬に終わる
↓
夏休み遊びほうけてた＼(＾o＾)／ｵﾜﾀ
↓
ゼミやらスタートがんばる
↓
左肺気胸になって入院する
↓
退院後ゼミやら出始める　　←今ここ
↓
あれ、卒論は？ ]]> diary 2008-11-14T01:10:14+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-12.html 現在遅めの夏休みをエンジョイ中！オンラインゲーム廃人となっております。そろそろ課題はじめるかλ。。。オンラインゲーム廃人となっております。
そろそろ課題はじめるかλ。。。 ]]> diary 2008-09-12T18:24:58+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-11.html 大学院入試１日目情報数学のお話 (*****************************************ある人が”エレガント”なソートアルゴリズムを考えた。Sort(A,i,j){　if (A[i]>A[j]) iとjを交換;　if (i+1>=j) return;　k=floor((j-i+1)/3);　/*floor(x)はm ある人が”エレガント”なソートアルゴリズムを考えた。
Sort(A,i,j){
　if (A[i]>A[j]) iとjを交換;
　if (i+1>=j) return;
　k=floor((j-i+1)/3);　/*floor(x)はm<=xを満たす最大の整数*/
　Sort(A,i,j-k);　/*最初の2/3をソート*/
　Sort(A,i+k,j);　/*最後の2/3をソート*/
　Sort(A,i,j-k);　/*最初の2/3をソート*/
}

１．このソートが正しいソートアルゴリズムであることを示せ
２．このソートにかかる計算時間のΘを求めよ

東北大学院工学研究科・情報科学研究科 2008/8月/情報基礎2
*****************************************)

たしかこんな問題だった。見事に間違えた。ΘじゃなくてO計算したよ＿|￣|○ﾅﾝﾀﾙﾁｱ ]]> diary 2008-08-26T00:25:46+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-10.html 夏休み夏休み・・・という名の勉強期間。とりあえず大学院入試を受かるまで頑張ってます。 diary 2008-08-17T13:30:28+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-9.html 字句解析字句解析（lexcal analyze）について字句解析とは、受け取った文字列を、空白やtabや改行などの区切り文字で区切って、単語などごとに認識する処理のこと。大まかに言うと、この処理は３ステップの繰り返しである。１．空白文字の読み飛ばし　ここで入力文字列の先頭にある空白、tab、改行は読み飛ばされ、文字列の頭が空白でなくなる。２．先頭文字による処理の決定　字句解析は、自分が定義した文字列、数字列、記号、その他など
字句解析とは、受け取った文字列を、空白やtabや改行などの区切り文字で区切って、単語などごとに認識する処理のこと。大まかに言うと、この処理は３ステップの繰り返しである。

１．空白文字の読み飛ばし
　ここで入力文字列の先頭にある空白、tab、改行は読み飛ばされ、文字列の頭が空白でなくなる。

２．先頭文字による処理の決定
　字句解析は、自分が定義した文字列、数字列、記号、その他などのどれを解析しようとするかによって、その手順が異なる。よって文字列の頭一文字を読み込むことでどの処理をするか判断し場合わけする必要がある。
　例えば、文字列、整数、記号などをトークンとして自分で決めた場合、先頭文字が英字だったら文字列、数字だったら整数、記号なら記号の処理へと場合分けする。また予約文字を認識させるときは、文字列の最後に予約文字のチェックをすればよい。小数は少し手間がいる。整数の読み込み中にピリオドが来たら、さらにそのピリオドの先をチェックし、整数なら小数として認識、整数じゃないならピリオドと整数と別々に認識させるなどの工夫が必要である。

３．文字列から実際に１文字ずつ読み込む
　文字列なら英数字が続く限り読み込む、整数なら数字が続く限り読み込むなどの手順で、実際に入力文字列から１文字ずつ取り出していく。空白文字や取り出し中のものと違うものが来たら終了。

この操作を入力文字列がなくなるまで続ける。そうすることで単純な字句解析機を作ることができる。
実際のコンパイラやインタプリタでは、字句解析は独立に行うのではなく、構文解析のほうと相互関係にして使われるほうが高速かつわかりやすく便利である。
とりあえず自分の学習としては、独立に動く単純な字句解析機と単純な構文解析機をプログラミングしてみようと思う。気が向いたり上手く作れたら、コードの公開も考えるかもしれない。 ]]> SML 2008-07-26T03:09:33+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-8.html ubuntuに色々入れてます個人的メモubuntuに入れたもの-AdobeReader-プリンタドライバ-2chブラウザJDhttps://wiki.ubuntulinux.jp/UbuntuTips/Desktop/HowToShowSpecialIconsOnYourDesktopあと↑を参考にデスクトップにゴミ箱を表示させてみた。とりあえずubuntu周りはとりあえずほぼできあがり。環境はできた、あとは本人のやる気次第（ぁ
ubuntuに入れたもの
-AdobeReader
-プリンタドライバ
-2chブラウザJD

https://wiki.ubuntulinux.jp/UbuntuTips/Desktop/HowToShowSpecialIconsOnYourDesktop
あと↑を参考にデスクトップにゴミ箱を表示させてみた。

とりあえずubuntu周りはとりあえずほぼできあがり。
環境はできた、あとは本人のやる気次第（ぁ ]]> ubuntu 2008-07-11T16:35:38+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-7.html Emacsのフォントを変えてみた UbuntuのEmacsデフォルトフォントが気に入らないので頑張って変えてみた。最初はEmacs22のままフォントをいじっていたが、結局はアンチエイリアスが使えるEmacs23に落ち着くことになった。やったことは↓(**************************************************************************・Emacs23のインストールUbuntu8.04以降ではaptのリストに入ってるので、aptでインストール $ sudo apt-get install emacs-snapshot-gtk・Emacsの最初はEmacs22のままフォントをいじっていたが、結局はアンチエイリアスが使えるEmacs23に落ち着くことになった。やったことは↓

(**************************************************************************

・Emacs23のインストール
Ubuntu8.04以降ではaptのリストに入ってるので、aptでインストール

$ sudo apt-get install emacs-snapshot-gtk

・Emacsの関連付けの変更
Emacs22とEmacs23の両方をいれたので、コマンドemacsではまだ22が起動する。
よってemacsでEmacs23が起動するように変更する。

$ which emacs
- /usr/bin/emacs
$ ll /usr/bin/emacs
- lrwxrwxrwx 1 root root 23 2008-07-04 18:06 /usr/bin/emacs
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　-> /etc/alternatives/emacs
$ ll /etc/alternatives/emacs
- lrwxrwxrwx 1 root root 23 2008-07-10 15:54 /etc/alternatives/emacs
　　　　　　　　　　　　　　　　　　　　　　　　　　　　　　-> /usr/bin/emacs22

よってemacsには/usr/bin/emacs22が関連付けされている。よってこれを変更する。

$ sudo update-alternatives --config emacs
`emacs' を提供する 2 個の alternatives があります。

選択肢 alternative
-----------------------------------------------
+ 1 /usr/bin/emacs22
* 2 /usr/bin/emacs-snapshot

デフォルト[*] のままにするには Enter、さもなければ選択肢の番号のキーを押してください:

これでemacs-snapshotを選択すれば完了。emacsコマンドにemacs-snapshotが関連付けされた。

・フォントの変更
以下の内容を.emacs.elまたはそこからロードしているものへ追加する。

;;; Emacs23 用フォント設定
(cond ( (string-match "^23\." emacs-version)
　(cond (window-system
　　(set-default-font "Bitstream Vera Sans Mono-10.5")
　　(set-fontset-font (frame-parameter nil 'font)
　　　　　　　　　　'japanese-jisx0208
　　　　　　　　　　'("VL ゴシック" . "unicode-bmp"))
))))

**************************************************************************)

参考にしたのはこちらのページ
http://ubulog.blogspot.com/2007/09/emacs.html

ちなみにMplusとIPAの合成フォントを最初は使おうと思っていたが、なぜかうまくいかなかった。
（http://mix-mplus-ipa.sourceforge.jp/←こちらのサイトで公開されているフォント）
(set-default-font "M+2VM+IPAG circle-12")と変更してもなぜかエラーも出さずにEmacsが終了してしまう。
シェルには「Fatal error (11)Segmentation fault」と出ており、調べてもよくわからなかった。
原因が分かる方がいらっしゃいましたら、ぜひコメントをお願いします；w; ]]> Emacs 2008-07-10T17:06:27+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-6.html ubuntuを始めましたネットで色々情報を見たりして、結局ubuntuへの移行を決定。Linuxなんて学校のPCですでにセットアップ済みのものしか使ったことがない初心者。こんな初心者には、ユーザが多く情報が得やすいubuntuのほうが向いているという結論。・今日行ったことVMwareにubuntuをインストール。ソフト全般のアップデートを行う。（aptではなくデスクトップのメッセージで済ませた）Emacs22をインストール。SML/NJの最新版をソースからインストー Linuxなんて学校のPCですでにセットアップ済みのものしか使ったことがない初心者。
こんな初心者には、ユーザが多く情報が得やすいubuntuのほうが向いているという結論。

・今日行ったこと
VMwareにubuntuをインストール。
ソフト全般のアップデートを行う。（aptではなくデスクトップのメッセージで済ませた）
Emacs22をインストール。
SML/NJの最新版をソースからインストール。
　-このときcのライブラリを提供するlibc6-develをまずインストール
　　さらにC++を含んでいるbuild-essentialをインストール
SMLSharpをインストール。
sml-modeをapt-getでインストール。
.emacs.elを作成し、少しだけ設定を追加。

emacsの設定がVineと違ってほぼ０。
最初から設定してくれてるがどこで何が設定されているかわかりずらいVineとどっちがいいか・・・。
とりあえずVineでEmacsLispをいじっていた経験が生きたのは確か。
まぁ王道なんてないんだから、地道に学んでいこう。
とりあえず土日は月曜までの課題を終わらせないと＼(＾o＾)／ ]]> ubuntu 2008-07-05T03:22:53+09:00 よんた FC2-BLOG http://yontahacker.blog32.fc2.com/blog-entry-5.html Firefox3導入奮闘記#2 おかんVineこわれた＼(＾o＾)／libstdc++5を入れるのを試すために、VMwareで仮想マシンのコピーを取る。コピーしたほうにlibstdc++5を入れようとしたがうまくいかないのでコピーを消去する。元のVineのほうを起動する。すると何かがおかしい。ディレクトリをファイルマネージャで開いてみると、他のディレクトリへ移動できない。移動しようとするとNoutilusが強制終了しましたというエラーメッセージが出る。調べてみると、Noutilu Vineこわれた＼(＾o＾)／

libstdc++5を入れるのを試すために、VMwareで仮想マシンのコピーを取る。
コピーしたほうにlibstdc++5を入れようとしたがうまくいかないのでコピーを消去する。
元のVineのほうを起動する。すると何かがおかしい。
ディレクトリをファイルマネージャで開いてみると、他のディレクトリへ移動できない。
移動しようとするとNoutilusが強制終了しましたというエラーメッセージが出る。
調べてみると、Noutilusはデスクトップ環境GNOMEのファイルマネージャらしい。
どうやら前回アップデートしたものが悪かったのか、コピーが悪かったのか、何かをやってしまったらしい・・・。
ファイルマネージャを起動したり、Firefoxを起動するとVineが完全にフリーズ。
どうみても一番手っ取り早い方法ですら再インストールです、本当にありがとうございました。

さーて、明日からLinuxの入れなおしだな・・・('A`)
2ch見てもVineは超安定版という名の鈍行だし、Ubuntuに移行することになるかも。
月曜日までの課題があるのにやってない、てかVine使えない＼(＾o＾)／ｵﾜﾀ、ﾃﾞｽﾜｰｸ頑張る ]]> VineLinux 2008-07-03T23:53:25+09:00 よんた FC2-BLOG