全称(普遍)量化子と存在量化子

SQL

SQLに関する記事を読み漁っていて、全称(普遍)量化子と存在量化子の話： SQLの中の述語論理を読んでいたときに、片方が定義されていればもう片方は論理的に導出できるというのを見て、導出しようとしたら一瞬考え込んでしまったので、ちゃんと裏を取ってみ…

2010-04-23

NetBeansを使ってJMSで遊んでみる

Java JavaEE NetBeans

今からでも遅くないらしいので、JMS(Java Message Service)で遊んでみた。今からでも遅くない JMSを学ぼう！(前編) 非同期通信の世界へようこそ（1/6）：CodeZine 今回は、以下を動かしてみた。この記事にサンプルが載っている「Point-to-Pointメッセージ…

2010-04-22

NetBeans 6.7.1 for WindowsでのJDKの切り替え

Java NetBeans

とある事情で、NetBeansが使用するJDKを切り替えたかったのだが、Eclipseほど簡単にはいかないようだったので全部探した。また探すのはいやなので、編集したファイルをメモ。環境 NetBeans 6.7.1 OS: Windows Vista Business SP1 編集したファイル E:\Prog…