分12論理の数学は,これまでとは雰囲気が異なりまるでパズルのようです。取り扱うのは数値ではなく論理値ですし,加算や減算などの代わりに「かつ」「⁠または」といった一見すると計算とは思えないコトバを使います。プログラマが論理の数学を学ぶ必要があるのでしょう。それは,論理の数学がプログラムの構造・動作を決定したり改善するのに役立つからです。ひとつのたとえを紹介します。優れた大工さんは優れた芸術家でもあります。美しく,無駄のない骨組み作りから仕事が始まります。その仕事ぶりは見るものを感動さえさせます。骨組みは,やがてコンクリや壁材の下になって見えなくなり,住む人にすばらしい姿が見えなくなります。無駄なく適切に組み立てられた骨組みを持つ家は,風雪に耐え,長く強く存在し続けるでしょう。プログラマの仕事もこれとよく似ています。美しいソースコードは,コンパイルされてしまえばユーザの目に触れることはありません。無駄なく適切に作られたプログラムは,長くユーザに利便を与えて愛されることでしょう。プログラムの骨組みとは論理構造です。論理の数学は,理にかなって無駄がなく,美しいプログラムの骨組みをつくるために役立つのです。今回は,しっかりと論理の数学の基本である,記号とその意味を学びましょう。数学で用いる記号には,いくつかの流儀があります。基本となる論理演算です。排他的論理和は3つの演算を用いて組み立てることができますから,最も基本となる論理演算とはいえません。特別に記号を作られるほどによく使われます。これら4つの記号と意味をしっかり覚えてください。AかB一方のみが真のときZが真になる論理積の記号・は論理式中では省略することがあります。一般の数式で乗算を表す×を省略するのと同じです。Z=A・Bという式は,Z=ABと書いても同じ意味です。式を誤解する余地がなければ積極的に省略します。Java言語のソースコード中で論理積演算子&を省略することはできません。論理の数学では論理変数を大文字のアルファベット一文字で表すのが通例です。Java言語では変数は小文字で始めるのが通例です。表15.1はその通例に従っています。ショートサーキット演算子Java言語には効率のよい論理演算をするために表15.2に示すショートサーキット演算子があります。表15.2のショートサーキット論理和の使用例と意味の欄を見てください。z=a||bというプログラムが実行されたときに,boolean型変数aが真ならば,boolean型の変数bが真でも偽でも必ずzには真が代入されます。ショートサーキット論理和を用いていればJava言語はbの値を確認しないのです。この場合は実行の効率に大差がありません。bが大変実行時間のかかる「関数」であったら,「⁠関数b」の実行を省くことができるショートサーキット論理和は有効です。プログラミングと日本の端っこ踏破旅行。2010年のLotYはRuby。結城浩氏のような仕事をしたいと妄想する30代後半♂。2019」を開催しました。DAY1・DAY2の様子を注目セッションとともにお伝えします。LINEのエンジニア3名がイベントに先駆けて見どころを紹介します。コードの安全性・安定性を高める開発サイクル~テスト管理の効率を上げ,脆弱性診断を自動で行う~本連載では,連載「業務を改善する情報共有の仕掛け」を受けつつ,安全性・安定性を加えた開発サイクルについて考えていきます。若者世代から圧倒的な人気を誇るライブ配信&動画投稿コミュニティアプリ「MixChannel」(ミクチャ)の裏側(レコメンドシステムやサーバサイド開発など)について解説していきます。その他の連載CSS3アニメーションでつくるインターフェイス表現CSS3によるアニメーション表現を紹介していきます。その中でも,幅広い読者に応用してもらえるだろうインターフェイスを主なお題とします。MySQL道普請便り本連載では,MySQLを使ったアプリ開発・運用に関するノウハウをご紹介していきます。RecipeUbuntuの強力なデスクトップ機能を活用するための,いろいろなレシピをお届けします。JavaScriptセキュリティの基礎知識JavaScriptに関するセキュリティ上の問題はどこで発生し,どうすれば防ぐことができるのか?について解説していきます。〜システムをきちんと運用するための基礎知識システムは「作って終わり」ではなく,運用の中でさまざまな問題が発生します。問題の発生に備えて事前にどのような対応をしておくべきなのか,問題発生時に何をしなければならないのか,ポイントを解説していきます。きたみりゅうじの聞かせて珍プレーソフトウェア開発の現場で体験したトホホな失敗,思わずうなる珍プレーをきたみりゅうじ氏が四コママンガで紹介。Linuxのメンテナンスの傍ら,Linuxやオープンソースソフトと日々を過ごす著者が,その魅力とつきあい方を,エッセイ風味でお届けします。PRESS特別編集部員,さわやか笑顔のスーパーハカーはまちちゃんとネット大好き14歳わかばちゃんが,毎号,読者の皆さんから寄せられたおたよりを紹介します。皆さんの日頃の悩みにも答えちゃいますよ。]メールでのお知らせメールで次の案内をお送りしております。メールの配信を希望する方は,利用したい項目をチェックしてメールアドレスを入力し,[登録]ボタンをクリックしてください。UPDATES[ほぼ週間に1回]新刊メールマガジン[ほぼ週間に1回]電脳会議の各号案内[ほぼ1ヵ月半に1回]※変更する場合や停止する場合は,登録情報変更ページをご覧ください。※登録いただいたメールアドレスには,そのお知らせ以外,配信いたしません。Ltd.ページ内容の全部あるいは一部を無断で利用することを禁止します。個別にライセンスが設定されている記事等はそのライセンスに従います。