世の中の全てを「モノ」と「コト」に分けて考えてみる。 モノとは物質であり，それは確かにそこにあるものであって，実在である。 コトとは現象などのことで，情報である。 モノとコトの大きな違いは複製が容易かどうかである。 全く同じ性質のモノをコピー…

腰の高さまである台の上に乗っていたもぐの眼が僕の肩をじっと見つめていた。 もしや・・・！ 僕は猫背だが，わざと前かがみになってみせると，思った通り，背中にぴょんと飛び乗ってきた。 何が目的なのかは全く不明であるが，目の前にちょうどよい高さの踏…

論理学でよく取り扱われる「ならば」という条件文は含意と呼ばれる。 日常語としての「ならば」は，「だから」や「なので」という原因と結果を結びつける語としてよく使われているような気がする。 しかし，論理学においてはある種の当たり前の判断を表すの…

試験が近いせい（？）だろうか。わけもなくマンガを一気読みしたいという衝動に駆られ，実際にそうしてしまった。 ふと楳図かずお氏の『神の左手悪魔の右手』を読み返したくなったのがきっかけであった。 それを読み返した後，今まで読んだことがなかった『…

昨日今日とセンター試験が実施された。数IIBが難しかったという噂をネットの記事で見かけたが，それいつものことですやん。 試験問題は，実際に解く受験生にとってどうかという視点に立ってではなく，高校教育の現場へのメッセージやセンター試験としての役…

なんか寒いなーとは思っていたけど，明日の明け方に -4℃ との予報を見て慄いている。それはヤバいわー。

時相論理 (temporal logic) なる学問がある。全く聞いたことが無かったが，昨日初めてそういうものがあることを知った。うーむ，気になる。

今日は久々にまとまった雨が降った。寒くて冷たい雨であった。積もらなければ雪でもよかったかな，という気がした。

最近のマイブーム（死語か？）はオートマトンの理論だったが，なぜ夢中になれたのか，理由を考えてみた。 ポイントは「ものづくり」であろうか。 オートマトンというのがどういうものかイメージをつかむには，具体的な問題を考えてみるのが手っ取り早い。例…

お世話になっているI先生にオートマトンの授業のレポートを提出した。 I先生は唐突に差し出されたレポートを見て「なにやってんだか」と苦笑されていたが，まんざらでもないご様子だった。 もともと僕はオートマトンの理論に非常に強い興味を抱いていて，何…

授業の課題に対するレポートを作成するなんて，一体何年ぶりの事だろうか。 10題の問題を解くのに5日間かかり，その後，LaTeXで清書するのに4日間かかった。図入りでたったの5ページであるが，なかなかの作業だった。 そもそもオートマトンの状態遷移図を描…

成人の日は明日だから成人式は明日やるものかと思っていたけれど，今日のところもあったようだ。 ー － す す く ∀ ー － ず ず く 人 ー － へ へ も へ

目の形が「へ」になってて笑っているように見える羊が話題だそうで，その話を聞いて思いついた。 へ へ つ 口を開けて笑ってる顔に見えるかな？ 鼻も入れてみよう。 へ へ し つ なかなかリアル。 へ へ の の し へ 表情が出てきた。 へ へ め め く つ 女…

組版ソフトの LaTeX で作成した文書に図を取り入れたいのだが，その図をどう作成するか，それがこのところの悩みの種である。 どんな図を描きたいかというと，円とラベルのついた矢印で構成された簡単なグラフであるから，それほど高機能な描画ソフトは必要…

『すみっコぐらし』というキャラクターグッズがあることを最近知った。 公式HPを見てみたが，かわいすぎてたまらない・・・。

有限オートマトンの簡単な例題で遊んでいるうちに浮かんだ着想を書き記しておく。 ある有限オートマトンがあるとき，それを開始状態と受理状態がいずれもひとつだけであるような一般化有限オートマトン（一般化というよりも，ある種の基準を満たすように規格…

2状態のみからなる簡単な決定性有限オートマトン DFA が受理する語の正規表現を求めるため，新たな開始状態と受理状態を追加して一般化非決定性有限オートマトン GNFA に書き換え，状態遷移図において遷移を表す矢印に付したラベルを書き換えながら状態を一…

相変わらず気温は冬の水準であるとはいえ，昨日今日と昼間の風に春の香りを嗅いだ気がした。 1月3日から取り組んできたレポート課題10題は昨日のうちに全て解答のめどがついた。予定通り，この週末にまとめる準備は整った。 あとは，そう，ホントにちゃんと…

確か昨年10月にI先生から教わった，2進数のうち3の倍数のみを受理する有限オートマトンの作り方を今日ようやく理解した。説明を受けた際，5の倍数のみを受理する有限オートマトンも同じ手法で構成できると教えていただいたが，その意味もわかった。残る課題…

有限オートマトンの理論の基礎を勉強しているが，非決定性オートマトン NFA を決定性オートマトン DFA に書き換える手続きを，簡単な具体例を通じてつかめたような気がしている。 次は，決定性オートマトンを一般化非決定性オートマトン GNFA に書き換えたの…

年末最後の授業日、昼過ぎにレポート課題を公表したら、夕方に合格点の答案を一通受け取ったので驚いた。 台風で休講になった講義を補填する目的の課題で、難易度は高くなく、分量も少なめとはいえ、まさか出題したその日に正答が提出されるとは夢にも思わな…

朝から妖怪ウォ○チの特集番組がやっていたのでついつい観てしまった。 ジバニャンという猫の妖怪と主人公たちとの馴れ初めについて学んだが，悲しい話であった。 映画館で子供たちが踊っていたという噂のダンスも四回くらい観た。後半の二回は一緒に踊ってし…

酔いざましに歩いた名古屋の夜道は雪だった。

年末は忙しく，ブログの更新をさぼってしまった。特にネタが無かったのも理由の一つである。 大晦日の夜，日付が変わろうという頃に地震があった。また，年が明けてすぐにドアがガタガタ揺れるのに気付き，外の天気が荒れていることを知った。 こうした天変…