うーん…。

　大学はね。4年で卒業できるのか非常に疑問です。いや確実に無理でしょう。7月も終わりだってのにレポート一通しか出してません。A評価だったのは良いんですけど、今は評価よりも合格数が必要です。
　いま二通目を執筆中で、エイズに関するレポートを書いております。一通目はインフルエンザについてレポートしたので、微生物学・感染内科学を中心に勉強してるということになります。
　これが終わったら、法学部らしく民法辺りをレポートしようかと思うんですけど、心理学を攻めてるかもしれません。一般教養科目ばかり。
　認知心理学や知覚心理学、造形心理学など面白そうな分野が沢山あります。

　皆さんもプログラミングばかりじゃなく、学問の研究、真理を追求してドキドキワクワクしましょう。お終い。

• 法学
• 憲法
• 民法1
• 刑法1
• 英語A・B
• 経済原論
• 経済学
• 保健理論

こんな感じです。

で、自分は大学1年になった訳ですが、同い年の周りの人間は大学3年生な訳で、一応先輩だから訊く訳です。すると、「分からない」「覚えてない」「やってない」のないない尽くしです。「5流だから」とか言って逃げようとさえします。

うーん。

通信制とは言え、法学部では東大に次ぎ、慶應と並ぶ中央って感じなんでしょうか…？
「レベルによって大学なんてめちゃめちゃ簡単な所もある」とも言われました。

認知心理学、神経生物学、微生物学、解剖学。

履修登録した科目をクリアするのに、思ってた以上に広い学識が必要で、これが中央大学だからなのか、法学部だからなのか、検討が付きません。
前頭葉の働きとか海馬の働きとか、インフルエンザに関することやAIDSに関することや、脳死や傷害致死やなんやかや。

それでも、毎日が新しい発見の連続で楽しいです。法律家を遠ざけて、大学卒業したら大学院にでも行こうかとさえ思ってしまうぐらいです。

もっと勉強せねばなぁ。

そのうちコブ・ダグラス型効用関数とかラスパイレス関数やパーシェ関数など、経済数学とプログラミングを無理矢理に捻り合わせて何か書けたらちょっと面白いかもしれません。詰まんないかもしれません。

ここで言う論理学は、真偽だけに着目するらしい命題論理なので、述語論理の話ではありません。

前回の記事で「否定と選言さえあれば全ての論理演算子を表現できる」ってことを書いた気がしますが、もっと汎用性？　の高い論理演算子がありました。

シェファー関数というもので、演算子は | と書きます。
論理演算子は参考書や言語によってビックリするぐらい意外にバラバラなので他の書き方もあると思います。
※～が￢と同義だったりします。共に Not です
※※他にも≒と＝の横棒が～になってる演算子も同義だったりします。共にほぼ等しいです

どーでも良い話が続きますが、こういった演算子にバラつきがあるのは論理学の歴史が短いってことを示唆してるんでしょうか？
経済学は生まれて120年ぐらいしか経ってないっていうことを本で読んだんですけど、スイッチの真理値から論理学が重要視されたと勝手に推測すると、機械が社会に普及した頃？
長さ的に経済学の歴史とあまり変わらないんでしょうかね。

さらに続いちゃいますが、音楽も今じゃ五線譜が普及してますけど、これも確定的に五線譜が使われるようになったのも結構最近らしいですね。
音楽の勉強してた頃に「へー五線譜って最近開発されたのかー」って思った記憶があります。

閑話休題。

とか言って余談的なことから始めますが、「シェファー関数」という呼び方から論理記号を関数と捉えられることに気付きました。そこまで考え付かなかった自分にガッカリです。
各関数の戻り値はブール値になりますね。

Function Not(ByVal p As BOOL) As BOOL
	Return ￢p
End Function

まぁそんな感じでシェファー関数の真理値表は以下のような感じです。

p q p | q
1 1   0
1 0   1
0 1   1
0 0   1

「偽が含まれているならば真である」って感じでしょうか。

シェファー関数で論理演算子を定義していきましょう。

否定演算子は命題pだけをとる
p p p | p
1 1   0
0 0   1

pが真ならば偽、偽なら真になりましたね。

否定演算子とシェファー関数で選言(論理和)を定義できます。

選言演算子は命題pと命題qをとる
p q ￢p ￢q ￢p | ￢q
1 1   0  0      1
1 0   0  1      1
0 1   1  0      1
0 0   1  1      0

前件と後件を否定した命題をシェファー関数に渡すと選言の真理値と等しくなります。
「偽が含まれているならば真である」を否定することで、「真が含まれているならば真である」ってことでしょうかね。

シェファー関数で否定と選言を定義できたってことで、あとは「否定と選言で全ての論理演算子を定義できる」ということで、他の演算子の定義は省略します。

論理演算子のこういった定義を見ていると不思議な気分になります。
論理演算子って柔軟というか、真偽・0と1・True Falseの二者択一なのに、色んな表現があるというか、単純そうで奥が深い。シンプルイズベスト的な？

「p And q」は、「Not( (Not p) Or (Not q) )」という風に「偽が含まれているならば偽である」という意味で同義であり、「偽が含まれているならば偽である」ということは「偽が含まれているならば真である」の全体否定なので、シェファー関数の否定であることが分かり、「Not(p | q)」も同義であることが分かります。

p And q ≡ Not( (Not p) Or (Not q) ) ≡ Not(p | q)

さらに分解していけば他にも「p And q」と等しい論理式はあるんですけど、面倒ですし不毛な気がするので省略です。

なかなか奥深いと思いませんか？

そして大学生になります。
タバコ吸っても周りから何も言われない歳で紛うことなき成人で色々やることあってついでに万年金欠なので通信課程ですけどね。
慶應大学法学部の通信課程もどうかと思ったんですけど、中央大学法学部の通信課程にしました。
はてさてどうなることやら…。

今年度は取らないんですけど、来年は論理学を取ろうかと思ってます。
論理記号で「→」(条件法)っていうのを見たんですが、この論理演算子ってActiveBasicじゃ標準実装されてないんでしょうかね？

p→qは「pならばqである」ってことなんですけど、よく分からんｗ
高校の勉強でも論理とか行列とか一切やってないんで、だから来年にしよう、と。

否定と選言で条件法を定義すると以下のような感じです。

Not(p) Or q ≡ p → q

p q Not p  q Not(p) Or q
1 1     0  1        1
1 0     0  0        0
0 1     1  1        1
0 0     1  0        1

pが真でqが偽なら、それは偽になり、それ以外は真になる。

ついでに条件法を定義すると≡も定義できます。

(p → q) And (q → p) ≡ (p ≡ q)

p q  p → q q → p (p → q) And (q → p)
1 1    1      1              1
1 0    0      1              0
0 1    1      0              0
0 0    1      1              1

pとqが共に真か偽なら真、それ以外なら偽となる。

使い道がありそうななさそうな。

パソコンに青歯ドングル付けて03と繋いで遊んでみたり、03にUSBを挿せるようにしてみたり。
パソコンで使ってるキーボードをそのまま03に挿せます…。

デジカメを03に繋ぐと、デジカメが充電されます。これには困りました(笑)
他にもMP3プレイヤーを繋ぐと、やっぱりMP3プレイヤーが充電されます。
03は充電器じゃねぇ！　Windows Mobileだぞ！　と。

何か設定してやればデジカメのデータを03に取り込める気がするんですけど、忙しいので放置です。

最近は次の試験に向けた勉強で忙しいです。
ビジネス実務法務検定っていうやつを受けようと思って勉強しております。
コンプライアンス、法令遵守って大事だぜっていうやつです。

ほんと、どんどんプログラミングから離れて行きます。
初級シスアドの資格でも狙うかなーぐらいにしか思ってません。
そういえば、来年だかいつなのか分かりませんが、初級シスアドって変わるみたいですね。ITパスポートとかいうのになるみたいです。

ダサい名称で欲しい気がしないんですが…ITパスポート…(笑)

あまり関係ない話なんですが、最近PoICとかマインドマップとかフォトリーディングに挑戦しています。

デジタルからどんどんアナログへと移行中…。

図書館のHTMLを読んでてクエリーの分析とかしてたんですが、図書館のサイトを作ってる人達が余りにも頼りなさそうなことが伺える変数名とか、コメントとか…。
公共のサイトの構築についてペラペラと書いたことを、ただHTMLのコメントアウトしただけってのは良いんだろうか…？
Javascriptかなんかで右クリック禁止もしてるけど、普通にソースは見えてるし。

まぁそんな訳でどの変数がどんな情報を持ってるかがよく分からないのと(敢えてそうしてるのか？)、膨大な変数と、そして何も中身は無いのに試しにその部分を削って飛んでみたらエラーページに飛ばされる。NULL送信が必要なのか…。
いちいち全部のクエリーを回収してペーストするのは面倒なので、図書館のHTMLファイルをダウンロードして、自分で作ったHTMLファイルにクエリーを送信、それを受信して解析に回して軽やかに必要なデータが詰まったクエリーを入手。

おー。なんかプログラミングしてる感じだ。
1年半振りぐらいにマトモなプログラミングした気がします。

あとは本の名前とか作家の名前の情報を持つクエリーを書き換えて送信するだけ、と思ったらエラー。

URIエンコードで詰まる。しまった。全然分からん。
で、どっかからC++のサンプルを拾ってきて(ブックマークしとけば良かった…)、自分なりにeVC++用に書き換えるが思った通りビルド出来ない。C++無理っす…。

とりあえずActiveBasic用に書き換える。C++→AB→eVC++としたい。
Ver 5.00.00 CP4
プロジェクトの文字コードをUTF-8で保存しておきます。

Sub UriEncode(ByVal lpString1 As LPCTSTR,ByVal lpString2 As LPTSTR)
Dim c As Byte
Dim c2 As Byte
Dim i[1] As Long
Dim len As Long
	len=lstrlen(lpString1)
	For i[0]=0 To len-1
		c=lpString1[i[0]]
		If c=&H20 Then
			lpString2[i[1]]=&H2B
			i[1]++
		Else
			If (c>=&H30 And c< =&H39) Or (c>=&H41 And c< =&H5A) Or (c>=&H61 And c< =&H7A) Then
				lpString2[i[1]]=c
				i[1]++
			Else
				lpString2[i[1]]=&H25
				i[1]++
				c2=((c >> 4) And 15)
				If c2 < 10 Then
					lpString2[i[1]]=c2+&H30
					i[1]++
				Else
					lpString2[i[1]]=c2-10+&H41
					i[1]++
				End If
				c2=(c And 15)
				If c2 < 10 Then
					lpString2[i[1]]=c2+&H30
					i[1]++
				Else
					lpString2[i[1]]=c2-10+&H41
					i[1]++
				End If
			End If
		End If
	Next
	lpString2[i[1]]=0
End Sub

で、このコードをeVC++用に書き換えて動かしても無理。
たぶんっつーか、Windows MobileはUNICODEで動いてるらしいので、やるならUNICODEからUTF-8にエンコードしてからさらにエンコードする必要がある、のかな？

単純にUNICODEなら直投げしても動くんじゃないかとかいうのは期待してみるだけで止めておきます。

UrlEncodeToBytesで変換できるようなんですけど、これってどうやって宣言すんだ…。
http://msdn.microsoft.com/ja-jp/library/9s1sz54z(VS.80).aspx

分かんないのでとりあえず他の方法を探すと、Uri.EscapeUriStringを使う方法もあると。
string型を使うことからまず苦労しました。std::って書く必要があるんだね…。

std::string str = Uri.EscapeUriString(_T("あいうえお"));

こうなるだろうとは思ってましたけど、やっぱりビルド出来ない。

Uri uri;
std::string str = uri.EscapeUriString(_T("あいうえお"));

これでどうだとか思ってみるけど通らない。
どうやって定義というか宣言するんだ…(笑)

もうそろそろ21歳になる訳で、5年近くActiveBasicに触ってきたけど、プログラミング始めたばっかの頃のような問題に悩んでます。

どうやったらUrlEncodeToBytesとかUriが使えるようになるんだ…(笑)
初めて触ったのもC++で挫折したけど、やっぱC++って難しい。

あまりにも寂しい機能なので輝度を最低にする機能と、「標準→最高→最低→…」と切り替わるモードも追加。

コマンドラインなしで起動した場合は「標準→最高→…」。
コマンドラインに”/b”を指定して起動した場合は「標準→最低→…」。
コマンドラインに”/t”を指定して起動した場合は「標準→最高→最低→…」。
ここでいう標準とは輝度 3 のことです。0 が最低、6 が最高。
僕の個人的使い方に合わせてあって、オプショナルじゃないので 3 で固定です(笑)

http://dev.activebasic.com/nana/software/BurnLight.zip

CABじゃないのでインストールはできず、EXEを実行するだけになっております。
とりあえず自分はHookKeyHookと合わせて使用中。

通話キークリック：タスク切替
終話キークリック：タスク終了
通話キーダブルクリック：輝度最高
終話キーダブルクリック：輝度最低
通話キートリプルクリック：電話帳
終話キートリプルクリック：ソフトリセット

チョコっと便利になったかな。
あと物理キーボードのバックライトの設定できるようにしたい。
普段はキーボードのバックライト消してるんですけど、やっぱ夜道だと全く分からん。
いちいち設定変えるのも面倒だからササっと切り替えてくれるソフトを作ろうかと。
説明書よく読んでないから分かんないんだけど、キーボードのショートカットキーで切り替えれるなら問題なし。

あと、SDカードとメインメモリの空き容量をヒッソリと表示してくれるようなTodayプラグインの開発。

携帯電話(スマートフォン)のすこし不便な所をすこし便利にできる。
プログラミングしてて良かった…(笑)

先月、6月27日に携帯電話を買いました。スマホ。
WILLCOMの03ってやつなんですが、昔からWILLCOMのスマホが欲しくて欲しくて。
電波状況がダメそうだったのでスルーしてたけどー、けどー、03の見た目に負けて買ってしまいました。

使ってみれば、圏外で困ったとかそんなに無いです。
スマホ1台持ちでもそんなに困ってないですしね。

あと、意外にプログラミングできてビックリしました。

MortScript
nScript
C
Pocket C#
Python Windows CE
BASIC
NS Basic

他にもJavaとかjavascript、RubyとPHPもイケるようです。
ActiveBasicはWindows Mobileに対応しないんでしょうか？(笑)

リリースされたAB5はまだインストールしてないです…。

EM_GETSELを使ったコードを書いていて、デバッグ時の動作とEXE実行時の動作が全然違うので困りました。

そもそも、EM_GETSELのせいでうまくいかないってことに気付くまでにも何時間も費やして…。
メモリ辺りで何か変なことしちゃってるかと思って色々弄くっても相変わらずで、「まさかなぁ」と思いながらwParamとlParamを確認したら、「こいつのせいかー！」と。

どうやら、XP辺りからEM_GETSELは文字数単位で値を渡してくれるようです。
辞めて欲しい。
そういえばフォーラムで、EM_SETSELが文字数単位だって書いてた人いたもんなぁ。
しかもしかも、同じXPでもバイト単位だったり文字数単位だったりするから恐ろしい。

とりあえず、クラシックスタイルでEXEを実行するとバイト単位で動いてくれるんですけど、なんかねぇ…。

http://hsp.tv/play/pforum.php?mode=pastwch&num=5151

それと、プラットフォームSDKをいれるとByteで取得されるみたいです。
昨日まで文字数取得だったのが マニフェストありSP2なのに Byte取得になってしまい。

プラットフォームSDK入れたらバイト数で動いてくれるかな？
でもプラットフォームSDK入ってないと動かないとか、ショボいしな？

むむむ…。

「バイト数⇔文字数」っていう相互変換できる関数作ったとしても、ユーザーのパソコンが「バイト数なのか文字数なのか？」ってことを調べるのがダサいし…。

んー。
ゆちボンさん発見しました(笑)