そこそこブクマも集めてて、有名めの企業で、ブログじゃなんかめちゃかっこいいこと書いてるんですよ。最新技術だ！とか勉強会だ！とか、なんやらオシャレなオフィスとか。こっちはまだやり方古くて、ウォーターフォールで何もおしゃれなツールは入れてなくて、単体試験もまだ手でがっつり。いいなあ、かっこいいなあとか思ってた。 そしたらね、彼ら、想定日程でできませんとか言い出した。しかも、これを書いた時点で3回。直接交渉してる人が言うには、こっちのとある仕様を「聞いてない」って怒ってるんだって。 まず、期日遅れてからそれで怒る？ってのもあるし、こっちはこっちのやり方だけれど、ケアしたんだよ。そのへん含めて書いてる仕様書出して。テスト環境作って。…まあ、なにせやり方が古いから仕様書はExcelだけど、それでもうちは提供したつもりだったし、出したタイミングで質問も文句もなかったから、みんなで首を傾げてしまった。し

0. 概要 JavaScript上で命題論理の言語を実装し、意味論 (恒真式・意味論的同値関係やタブロー計算)の各種概念も実装に落とし込む。証明論は未実装。動作環境は Node。 依存パッケージは nearley (構文解析) のみ。npm i --save nearley で環境構築完了。 0. 表記 原子命題は p,q,r,s,t,u のみ利用可。¬⋀⋁→↔ は -,A,V,->,== とする。よって例えば、$\neg\neg p \leftrightarrow p$ は --p == p となるし、$\neg(p\wedge q)\leftrightarrow \neg p \vee \neg q$ は -(p A q) == -p V -qとなる。 1. 統語論 ～構文木の構築～ 文字列を構文木にする。木構造には JavaScript の Array を利用する。具体的には pAq

自衛艦の花形である護衛艦。現在、最大の護衛艦は基準排水量19500トンのヘリコプター搭載護衛艦（DDH）「いずも」型で、形状から「ヘリ空母」とも呼ばれている。同型艦で2017年に就役した新鋭艦は「かが」。ミリタリーファンなら、すぐ思い出すのが帝国海軍の空母「加賀」だろう。主力空母として真珠湾攻撃にも参加。最後はミッドウェー海戦で沈没している。 同じDDHに、2009年に就役した「ひゅうが」と同型艦「いせ」がある。これも帝国海軍の戦艦「伊勢」「日向」の名前を継いだもの。この二艦はもともと戦艦であったが、後部の主砲を取り払い、飛行甲板を設置したため、航空戦艦と呼ばれた。「いせ」「ひゅうが」は、海上自衛隊としては初めて全通甲板を備えたため、空母にしか見えない。そんな艦艇に命名するに当って、戦前の二艦を意識しなかったといえばウソだろう。

【シリコンバレー=白石武志】米アマゾン・ドット・コムが人工衛星を使ったブロードバンド通信サービスへの参入を目指していることが明らかになった。3000を超える通信衛星を打ち上げて地球のほぼ全域をカバーする計画だ。イーロン・マスク氏が率いる宇宙開発ベンチャーの米スペースXなども同様の構想を表明しており、米有力企業による宇宙開発競争が熱を帯びてきた。米連邦通信委員会（FCC）が通信衛星の運用を監督す

すべて コンピュータ 家電、AV、カメラ 音楽 本、雑誌 映画、ビデオ おもちゃ、ゲーム ホビー、カルチャー アンティーク、コレクション スポーツ、レジャー 自動車、オートバイ ファッション アクセサリー、時計 ビューティ、ヘルスケア 食品、飲料 住まい、インテリア ペット、生き物 事務、店舗用品 花、園芸 チケット、金券、宿泊予約 ベビー用品 タレントグッズ コミック、アニメグッズ 不動産 チャリティー その他 閉じる

２００２年に山梨大と統合した山梨医科大ホームページが今春までに、出会い系アプリや風俗情報などを紹介するサイトになっていたことが分かった。ウェブサイトのＵＲＬが「．ｊｐ」になる全てのドメインを管理する日本レジストリサービスも５日、事態を把握し、サイトの内容が表示されないよう措置した。 このドメインは「yamanashi-med.ac.jp」。末尾が「ac.jp」のドメイン名は、高等教育機関と学校法人のみに使用が許されている。登録者を変更する場合も、有資格者かどうかをチェックする決まりだ。しかし、ドメインの登録者は昨年１２月以降、都内の２０代男性になっていた。 米非営利団体の記録サイトで確認すると、統合直前の０２年９月までは「山梨医科大学」のサイトと明示され、その後しばらくも「山梨大学医学部」「統合に伴い新サイトに移行」と書かれていた。 ドメイン情報を管理する日本レジストリサービスは「ac.j

兵庫県警のWebサイトで、2016年から約3年にわたり、利用者の訪問データを無断で収集していたことが分かりました。インターネット上での指摘がきっかけで発覚したもので、兵庫県警はその後、当該コード部分をサイトから削除しましたが、今のところ告知や謝罪などは行われていません。編集部では兵庫県警にコメントを求めました。 兵庫県警が使用していたのは、Googleが提供しているアクセス解析ツール「Googleアナリティクス」。これ自体は多くのサイトで使われているごく一般的なツールですが、利用規約ではデータ収集のためにCookieを使用していることや、Googleアナリティクスを使用していることなどをサイト訪問者に開示するよう定めており、兵庫県警のサイトではこれを行っていませんでした。 web.archive.orgより、3月2日時点のアーカイブ。赤枠がGoogleアナリティクスが埋め込まれていた部分の