受かったら応募用紙を晒すぞと思っていたので晒します。 選択問題 【1】：まずは、このプログラムが実行されているOSを特定しようと試みた。 問題で与えられた実行結果は hoge address = 0x7fff539799f0 fuga address = 0x7fca11404c70 となっていて、Window…

このブログは備忘録なので、自分が忘れないためにまとめる。 そもそも計算とは。 有限時間内にチューリングマシンで解ける問題。 他の計算可能の定義として、λ計算、再帰関数などがある。しかし、チューリングマシンにも解けない問題が存在し、例えば停止性…

雑です。手書きです。 何かあればコメントしていただきたいです。 全体としてこんなイメージ。 形式言語の文法は、G=&ltN,Σ,P,S>のように表され、Nは非終端記号、Σは終端記号、Pが生成規則、Sが初期記号となっている。正規言語が有限オートマトンと等価であ…

阪大の人からお誘いを受け、4人のチームでMicrosoft imagine cupに作品を出しました。 作ったものは、パソコンのディスプレイの上にミクのネンドロイドが乗って、疲れた顔やタイピングの速度が落ちているのを検知するとミクが動いたり話したりして気分転換し…

だいぶ前に逆評定サイトを作ったのですが、ブログを更新するのをすっかり忘れてだいぶ放置してしまっていたので今更ながら更新します。かなりあやふやな所がありますがご容赦ください。逆評定サイトを公開するまでの設定とりあえず自宅にラズパイサーバを立…