PLC(シーケンサ)で太鼓の達人！のゲームをKEYENCE(キーエンス)にて作成しました。 以前も作成していますが、今回はシミュレーション上でのKEYECEのスキャン速度0msecという速さと部品移動の位置移動の細かさから、一度ゲームを作ってみようと考えました。 一応過去記事のほうでも色々と試作してみましたが、三菱電機よりもキーエンスの方がシミュレーション上では反応が良かったです。笑 シミュレーションの時間誤差が三菱電機だと100msecですので、三菱電機では出来ない早い応答がKEYENCEでは得られたかなと思います。 最後に参考プログラムも載せましたので、今後KEYENCE（キーエンス）のPLC（シーケンサ）を使用する場合は参考にして頂けると幸いです。www.niwakafa.com 【目次】 画面作成 データレジスタについて ドン！カッ！キャラクタ設定方法 シミュレーション起動（VTシ

ラズベリーパイをPLC(シーケンサ)として使う準備編の記事です。 「PLC(シーケンサ)・ラダーがフリーで使える！おすすめ入門ソフト」を紹介します。 フリー(無料)でラダーのプログラムを実際に動かす手順を解説しています。 「無料でPLC(シーケンサ)・ラダーを色々触ってみたい！」という方におススメな記事です。 この記事ではソフトのインストールからラダー回路のシミュレーションまで説明します。 ※実際にラズベリーパイをPLC(シーケンサ)として動かす記事リンク先はこちらです。

Pythonは、コードの読みやすさが特徴的なプログラミング言語の1つです。 強い型付け、動的型付けに対応しており、後方互換性がないバージョン2系とバージョン3系が使用されています。 商用製品の開発にも無料で使用でき、OSだけでなく仮想環境にも対応。Unicodeによる文字列操作をサポートしているため、日本語処理も標準で可能です。

はじめに みなさん形式手法をご存知でしょうか？ 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。 この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。 追記 本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。 ちょっと古いデータですが活用事例です。 誤解を招く紹介となっていたことをお詫びします。 さらに追記 ku

Spring BootによるAPIバックエンド構築実践ガイド 第2版 何千人もの開発者が、InfoQのミニブック「Practical Guide to Building an API Back End with Spring Boot」から、Spring Bootを使ったREST API構築の基礎を学んだ。この本では、出版時に新しくリリースされたバージョンである Spring Boot 2 を使用している。しかし、Spring Boot3が最近リリースされ、重要な変...

先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思っているかをまとめてみます。 プログラム意味論 プログラムは必ずプログラム言語、少なくとも記号で記述します。*1 そこで、プログラムの勉強という点では、どのように動くかというアルゴリズムの勉強だけではなく、どのように書けるか、書いたものにどのような性質があるのかということも知る必要があります。 例えば、2005年あたりからRubyのような動的型付け言語が流行りだし、Javaなどの静的型付けの言語との

『プログラミング作法』 著者：Brian W. Kernighan / Rob Pike　福崎俊博 訳 アスキードワンゴ ちなみにこの本、私が入手した頃とは装丁がガラッと変わっていて、いまの表紙はこんな感じになっています。 犬がカワイイですね。これから購入する方はご注意ください。 普段プログラミングをしていると、大なり小なりさまざまな判断を行うべき局面が出てきます。 変数やメソッドにはどんな名前を付けるべきか？ロジックは明快になっているか？ここにコメントは必要か？必要としたらどう書くか？ライブラリのインターフェイスは適切にデザインされているか？ライブラリ関数の粒度は適当か？与えられた問題に対してデータ構造やアルゴリズムは適切なものを選択しているか？もっと良いものがあるのではないか？計算量は妥当な範囲に収まるか？処理が複雑になっても性能が良くなる方を取るか？あるいは多少性能を犠牲にしてもわか

IIJ ネットワーク本部アプリケーションサービス部所属。 メールサービスの運用業務に従事し、日々世界の悪と戦う一児の父親。社内 Power Automate エバンジェリスト(自称)。M3AAWG member / openSUSE Users / WIDE Project メンバー。趣味は大喜利。はがき職人。 IIJ 古賀です。普段は、IIJ セキュア MX という迷惑メールフィルタサービスの運用業務に従事し、お客様を守るために、毎日世界の悪と戦っています。 今週は「新人エンジニアにオススメする技術書」というテーマでお送りします。 早速なのですが、この「UNIXという考え方」は、厳密には技術書ではないかもしれません。なぜなら、この本は UNIX という OS が(または Linux に代表される “UNIX-like” な OS が)、どのような人々の思想のもとに設計され、進化しているか

GMOあおぞらネット銀行は7日、フィンテック企業に銀行のシステムを開放する「オープンAPI」を個人でも利用できるようにする環境「sunabar（スナバー）」を無償で公開した。同社の口座を持つユーザーであれば、職業や年齢の制限なく銀行システムを操作するプログラムの開発が可能になる。スナバーは銀行システムの中核である「勘定系システム」を米アマゾン・ドット・コムのクラウドサービス「アマゾン・ウェブ・

2019/11/23 JJUG CCC 2019 Fall - 日本Javaユーザーグループ 登壇資料です。

はじめに Python + Selenium + Chrome で、要素の取得、クリックなどの UI系の操作、待機、ページ全体のスクリーンショットなど、一通り試してみます。 PhantomJS はもう更新されないということなので、ブラウザは Chrome にします。 この記事には、Selenium の API に関する情報と Chrome に特化した情報がありますが、前者の Selenium の使い方に関する情報は Firefox など別のブラウザでも使えます。 注意事項 ウェブの自動テストやスクレイピングで使われる技術です。特にスクレイピングでは、著作権の問題や、サーバー側の負荷、各種規約（会員としてログインする場合の会員規約等）やマナーなどを考慮する必要があります。 たとえば、Twitter など利用規約で明示的にスクレイピングが禁止されていることや、robot.txt などでクローリ

Java を使ったプログラムのコンパイルや実行するために必要なファイルが設置されたディレクトリへ PATH を設定する方法について解説します。今後バージョンが変更になった場合や異なる JDK へ切り替えを少し容易にできるように環境変数 JAVA_HOME の設定を行った上で PATH を設定します。 PATHおよびJAVA_HOMEを設定する Java で記述したプログラムを実行したりコンパイルする時に必要となるプログラムは Java をインストールしたディレクトリの中の bin ディレクトリに保存されています。 例えば任意のディレクトリから javac.exe を実行するには、 javac.exe が保存されているディレクトリへ PAHT を設定しておきます。今回は Java を C:\pg\java\jdk-22.0.1 ディレクトリにインストールしていますので、この C:\pg\ja

ついでに追加。 型推論：変数や式の型をプログラマが宣言しなくても、言語処理系が文脈から推論してくれる機構。MLとかHaskellとか。 型検査：変数や式の型が合っていることを言語処理系が（普通は静的に）チェックしてくれる機構。CとかJavaとか、MLやHaskellも。 静的な型つけ：プログラムの実行前に型を検査する機構。MLとかHaskellとかCとかJavaとか。 動的な型つけ：プログラムの実行中に型を検査する機構。LispとかSchemeとかPerlとか。 強い型つけ：検査を通れば、安全さ(safety)が保証される、という（普通は静的な）型つけ。MLとかHaskellとかJavaとか。Javaはバグがあったりしたので少し怪しいですが。 弱い型つけ：検査を通っても、安全さ(safety)は保証されない、という型つけ。CとかPascalとか。 安全さ(safety)：プログラムが言語仕

自身のウェブサイト上に他人のパソコンのCPUを使って仮想通貨をマイニングする「Coinhive（コインハイブ）」を保管したなどとして、不正指令電磁的記録保管の罪に問われたウェブデザイナーの男性（31）に無罪を言い渡した横浜地裁判決を不服とし、横浜地検が東京高裁に控訴したことがわかった。4月10日付。求刑は罰金10万円だった。 弁護人の平野敬弁護士が弁護士ドットコムニュースの取材に対し明らかにした。 平野弁護士は、「控訴趣意書が出ていないため、現時点ではどの点について反論しているのか不明だが、罰金10万円で控訴して東京高裁で争うということは、今後も控訴審において男性を拘束し続けるということ。罰金10万円という量刑の重さに比べて、人権侵害の度合いが見合っているのか」と控訴を疑問視した。 一方、「合同捜査本部を設置して、多くの当事者を巻き込んで捜査がなされている事件なので、上級審である東京高裁に

ネット上で「Lets-get-arrested project（みんなで逮捕されようプロジェクト）」なるものが発足している。立ち上げたのはプログラマーのhamukazu氏。 発端となったのはNHK神戸放送局が4日に配信した「不正プログラム書き込み疑い補導」というニュース。このなかで女子中学生が「不正プログラム」と呼ばれたプログラムのアドレスを掲示板に書き込んだために補導されたと報じられた。 このニュースを受けて、同氏はTwitter上で「JavaScriptで『意図しない動作』で逮捕されたり補導されたりする件、エンジニアみんなは団結して抗議する意味で、進んで逮捕されにいくのはどうだろう」と提起。 その後、ソフトウェア開発プラットフォームGithubで自らプロジェクトを立ち上げた。Twitter上では「リツイートすると幇助になるかも」との意見もあり、今後の動向に注目が集まっている。 兵庫県警