低率初期生産 - Wikipedia
低率初期生産（Low rate initial production, LRIP, エルリップ）とは、軍用装備品などのプロジェクト管理またはその取得プログラムで用いられる、装備化の当初の段階に行われる少量生産を指す用語である。LRIPを行うことにより、最初に調達を予定している国防機関は、量産契約を締結する前に長期間の試験を徹底的に行い、その装備品が定められた要求性能を満たしてるかどうかを十分に確認することができる。一方、製造企業は、これを量産の試行段階として利用し、量産に使用する組立ラインをあらかじめ準備することができる。このため、LRIPを行って、要求に応じながら手作業で製造する試作段階から最終的な量産段階への移行を段階的に進めようとする場合が多い[1]。LRIPにおいては、企業の生産技術や装備品そのものが十分な完成度に達していない場合もある。また、LRIPにおいて製造される装備品は、試
%25E8%25A3%25BDPLC(%25E3%2582%25B7%25E3%2583%25BC%25E3%2582%25B1%25E3%2583%25B3%25E3%2582%25B5)%25E3%2581%25A7%25E5%25A4%25AA%25E9%25BC%2593%25E3%2581%25AE%25E9%2581%2594)
【応用】KEYENCE(キーエンス)製PLC(シーケンサ)で太鼓の達人！連続動作確認 - FA電気設計屋の技術倉庫
PLC(シーケンサ)で太鼓の達人！のゲームをKEYENCE(キーエンス)にて作成しました。 以前も作成していますが、今回はシミュレーション上でのKEYECEのスキャン速度0msecという速さと部品移動の位置移動の細かさから、一度ゲームを作ってみようと考えました。 一応過去記事のほうでも色々と試作してみましたが、三菱電機よりもキーエンスの方がシミュレーション上では反応が良かったです。笑 シミュレーションの時間誤差が三菱電機だと100msecですので、三菱電機では出来ない早い応答がKEYENCEでは得られたかなと思います。 最後に参考プログラムも載せましたので、今後KEYENCE（キーエンス）のPLC（シーケンサ）を使用する場合は参考にして頂けると幸いです。www.niwakafa.com 【目次】 画面作成 データレジスタについて ドン！カッ！キャラクタ設定方法 シミュレーション起動（VTシ
形式手法はなぜ流行っていないのか - Qiita
はじめに みなさん形式手法をご存知でしょうか？ 名前くらいは聞いたことあるけどいまいち何かわからないという方が多いのではないでしょうか。 その通りです。形式手法はアカデミアではそれなりに研究されているものの、 一般の（特にWeb系）ソフトウェア開発者が携わることはなかなかないのではないかと思います。 この記事ではソフトウェア開発に形式手法が導入されないのはなぜなのかを考察します。 この記事ではアジャイルソフトウェア開発において形式手法を導入する際のハードルについて考察します。 追記 本記事について、「形式手法は流行っていない」というのは正確ではないのではないかという指摘をいただきました。組み込み系や社会インフラ系等バグを絶対に出せないシステム開発では形式手法がよく使われているそうです。 ちょっと古いデータですが活用事例です。 誤解を招く紹介となっていたことをお詫びします。 さらに追記 ku
あなたのコンピュータはあなたのものではない
ジェフリー・ポールのブログより。 ここにあります。それが起こりました。あなたは気付きましたか? リチャード・ストールマンが1997年に予言した世界のことを話しています。コリイ・ドクトロウも警告しました。 macOSの最新バージョンでは、アクティビティのログが送信されたり、保存されたりしない限り、コンピュータの電源を入れ、テキスト・エディタや電子書籍リーダを起動して、文書を書いたり読んだりすることはできません。 macOSの現在のバージョンでは、OSはそれを実行する時に、あなたが実行したすべてのプログラムのハッシュ(一意の識別子)をAppleに送信することが分かりました。多くの人はこれに気づいていませんでした。なぜなら、それは静かで目に見えず、オフラインのときに即座に、そしてうまく失敗するからが、今日はサーバが本当に遅くなり、フェイルファストのコードパスにヒットせず、インターネットに接続して
ラムダ計算の勉強のしかた、プログラム意味論 - きしだのHatena
先日のエントリで手続きを記述するという側面と、式を記述するという2つの側面があるということを書きました。 プログラムの理論とはなにか そして、手続きの性質として代表的な、アルゴリズムについての勉強のしかたについてまとめてみました。 アルゴリズムの勉強のしかた そこで、今回は、式を記述するという側面の勉強のしかたと、あとこの分野は自分でもまだ全然勉強してなかったので、これからどういう本を読もうと思っているかをまとめてみます。 プログラム意味論 プログラムは必ずプログラム言語、少なくとも記号で記述します。*1 そこで、プログラムの勉強という点では、どのように動くかというアルゴリズムの勉強だけではなく、どのように書けるか、書いたものにどのような性質があるのかということも知る必要があります。 例えば、2005年あたりからRubyのような動的型付け言語が流行りだし、Javaなどの静的型付けの言語との
『プログラミング作法』新人エンジニアにオススメする技術書 | IIJ Engineers Blog
『プログラミング作法』 著者：Brian W. Kernighan / Rob Pike 福崎俊博 訳 アスキードワンゴ ちなみにこの本、私が入手した頃とは装丁がガラッと変わっていて、いまの表紙はこんな感じになっています。 犬がカワイイですね。これから購入する方はご注意ください。 普段プログラミングをしていると、大なり小なりさまざまな判断を行うべき局面が出てきます。 変数やメソッドにはどんな名前を付けるべきか？ロジックは明快になっているか？ここにコメントは必要か？必要としたらどう書くか？ライブラリのインターフェイスは適切にデザインされているか？ライブラリ関数の粒度は適当か？与えられた問題に対してデータ構造やアルゴリズムは適切なものを選択しているか？もっと良いものがあるのではないか？計算量は妥当な範囲に収まるか？処理が複雑になっても性能が良くなる方を取るか？あるいは多少性能を犠牲にしてもわか
『UNIXという考え方』新人エンジニアにオススメする技術書 | IIJ Engineers Blog
IIJ ネットワーク本部アプリケーションサービス部・(兼)社長室所属。 メールサービスの運用業務に従事し、日々世界の悪と戦う一児の父親。社内 Power Automate エバンジェリスト(自称)。M3AAWG member / openSUSE Users / WIDE Project メンバー。趣味は大喜利。はがき職人。 IIJ 古賀です。普段は、IIJ セキュア MX という迷惑メールフィルタサービスの運用業務に従事し、お客様を守るために、毎日世界の悪と戦っています。 今週は「新人エンジニアにオススメする技術書」というテーマでお送りします。 早速なのですが、この「UNIXという考え方」は、厳密には技術書ではないかもしれません。なぜなら、この本は UNIX という OS が(または Linux に代表される “UNIX-like” な OS が)、どのような人々の思想のもとに設計され、
Python + Selenium で Chrome の自動操作を一通り（ログイン、ダウンロード、他）
はじめに Python + Selenium + Chrome で、要素の取得、クリックなどの UI系の操作、待機、ページ全体のスクリーンショットなど、一通り試してみます。 PhantomJS はもう更新されないということなので、ブラウザは Chrome にします。 この記事には、Selenium の API に関する情報と Chrome に特化した情報がありますが、前者の Selenium の使い方に関する情報は Firefox など別のブラウザでも使えます。 注意事項 ウェブの自動テストやスクレイピングで使われる技術です。特にスクレイピングでは、著作権の問題や、サーバー側の負荷、各種規約（会員としてログインする場合の会員規約等）やマナーなどを考慮する必要があります。 たとえば、Twitter など利用規約で明示的にスクレイピングが禁止されていることや、robot.txt などでクローリ
PATHの設定及び環境変数JAVA_HOMEの設定
Java を使ったプログラムのコンパイルや実行するために必要なファイルが設置されたディレクトリへ PATH を設定する方法について解説します。今後バージョンが変更になった場合や異なる JDK へ切り替えを少し容易にできるように環境変数 JAVA_HOME の設定を行った上で PATH を設定します。 Windows10で環境変数を設定する画面を表示する PATH の設定や環境変数 JAVA_HOME の設定は環境変数の設定画面で行います。なお PATH も環境変数の一つです。 Windows10 の環境で環境変数の設定をするにはデスクトップ左下にあるスタートメニューをクリックし、表示されたアプリの一覧の「Windowsシステムツール」をクリックしてください。そして展開された一覧の中から「コントールパネル」をクリックしてください。 「コントロールパネル」が表示されたら「システムとセキュリティ
アラートループ事件の被疑者２名に対する起訴猶予処分を受けて | 横浜パーク法律事務所
インターネット掲示板に，真実は，特定の文字などが表示され続けるだけであり，ブラウザを閉じれば終了するプログラムのリンクを掲載しただけであるのに，兵庫県警が，これを「不正なプログラムに誘導するリンクを貼り付けた」と問題視して，平成３１年３月に捜索差押を強制的に行い，神戸地方検察庁に送検し，被疑者として扱われた成人男性２名の方々につき，検察官は，令和元年５月２２日付で，今回の件をそれぞれ不起訴処分としました。 これら２名の方々が，今後裁判にかけられ，無罪立証の負担を強いられる煩を事実上避けることができたことは一安心です。 しかしながら，検察官の処分は，不起訴処分のうち，「起訴猶予処分」でした。これは，犯罪の嫌疑がありかつ訴訟条件が具備していても，被疑者の境遇や犯罪の軽重，犯罪後の状況などから検察官の裁量によって公訴提起を差し控えるというものです。 今回の事案で兵庫県警が，不正指令電磁的記録供用
型推論と型検査、静的な型つけと動的な型つけ、強い型つけと弱い型つけ - sumiiのブログ
ついでに追加。 型推論：変数や式の型をプログラマが宣言しなくても、言語処理系が文脈から推論してくれる機構。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万円という量刑の重さに比べて、人権侵害の度合いが見合っているのか」と控訴を疑問視した。 一方、「合同捜査本部を設置して、多くの当事者を巻き込んで捜査がなされている事件なので、上級審である東京高裁に
)
リファクタリング (プログラミング) - Wikipedia
この記事には独自研究が含まれているおそれがあります。問題箇所を検証し出典を追加して、記事の改善にご協力ください。議論はノートを参照してください。（2020年10月） この記事で示されている出典について、該当する記述が具体的にその文献の何ページあるいはどの章節にあるのか、特定が求められています。ご存知の方は加筆をお願いします。（2014年4月） リファクタリング (refactoring) とは、コンピュータプログラミングにおいて、プログラムの外部から見た動作を変えずにソースコードの内部構造を整理することである。また、いくつかのリファクタリング手法の総称としても使われる。ただし、十分に確立された技術とはいえず、また「リファクタリング」という言葉に厳密な定義があるわけではない。 リファクタリング登場の経緯と目的[編集] リファクタリングが登場する以前は、一度正常な動作をしたプログラムは二度と手
高木浩光＠自宅の日記 - しそうけいさつ化する田舎サイバー警察の驕りを誰が諌めるのか
■ しそうけいさつ化する田舎サイバー警察の驕りを誰が諌めるのか 兵庫県警が単なる「無限アラート」を「不正プログラム」と称して不正指令電磁的記録の罪を適用した捜査（家宅捜索）を行ったことが明らかになり、法解釈・適用の誤りである上に法制定時の参議院法務委員会附帯決議の要請をも無視しているとして批判の声が渦巻いているところだが、ここに来て、「すみだセキュリティ勉強会」が活動を休止するとして抗議行動に出たようだ。 「IT業界の萎縮を招きかねない」 “ブラクラURL書き込みで中学生補導”、弁護士に問題点を聞いた, ねとらぼ, 2019年3月5日 Japanese police charge 13-year-old for sharing 'unclosable popup' prank online, ZDNet, 2019年3月5日 「いたずらURL貼って補導」がIT業界の萎縮をまねく理由, IT
「みんなで逮捕されようプロジェクト」がネット上で拡散中～サイバー犯罪対策課は「自分の子どもにもそんなことが言えるのか」と反発｜NetIB-News
ネット上で「Lets-get-arrested project（みんなで逮捕されようプロジェクト）」なるものが発足している。立ち上げたのはプログラマーのhamukazu氏。 発端となったのはNHK神戸放送局が4日に配信した「不正プログラム書き込み疑い補導」というニュース。このなかで女子中学生が「不正プログラム」と呼ばれたプログラムのアドレスを掲示板に書き込んだために補導されたと報じられた。 このニュースを受けて、同氏はTwitter上で「JavaScriptで『意図しない動作』で逮捕されたり補導されたりする件、エンジニアみんなは団結して抗議する意味で、進んで逮捕されにいくのはどうだろう」と提起。 その後、ソフトウェア開発プラットフォームGithubで自らプロジェクトを立ち上げた。Twitter上では「リツイートすると幇助になるかも」との意見もあり、今後の動向に注目が集まっている。 兵庫県警
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
PLC(シーケンサ)・ラダーがフリーで使える！おすすめ入門ソフト
VBAからPythonのプログラムに引数を渡して実行したい
Java 注目の機能: テキストブロック
GMOあおぞらネット銀、個人に開発環境を開放 - 日本経済新聞
JVM入門
-Javaプログラムが動く仕組み-
