セマフォ (マルチスレッドのプログラミング)
セマフォ セマフォは、E.W. ダイクストラ (Dijkstra) が 1960 年代の終わりごろに考案したプログラミング手法です。ダイクストラのセマフォモデルは、鉄道線路の運行をモデル化したものです。一度に一本の列車しか走れない単線の鉄道線路を思い浮かべてください。 この鉄道線路を保護するのがセマフォです。列車は単線区間に入るとき、セマフォの状態が進行許可状態になるのを待たなければなりません。列車が単線区間に入るとセマフォの状態は、他の列車が単線区間に入るのを禁止する状態に変化します。単線区間から出る列車は、セマフォの状態を進行許可状態に戻して他の列車が単線区間に入ることができるようにしなければなりません。 コンピュータ内のセマフォは、単一の整数で表現されます。スレッドは進行が許可されるのを待ち、その後進行したことを知らせるためにセマフォに対して P 操作を実行します。 この操作をもう少
Linux kernel coding style — The Linux Kernel documentation
Linux kernel coding style¶ This is a short document describing the preferred coding style for the linux kernel. Coding style is very personal, and I won’t force my views on anybody, but this is what goes for anything that I have to be able to maintain, and I’d prefer it for most other things too. Please at least consider the points made here. First off, I’d suggest printing out a copy of the GNU c
Man page of STRFTIME
Section: Linux Programmer's Manual (3) Updated: 2020-08-13 Index JM Home Page roff page 名前 strftime - 日付および時刻の文字列への変換 書式 #include <time.h> size_t strftime(char *s, size_t max, const char *format, const struct tm *tm); 説明 strftime() 関数 は、要素別の時刻 tm の内容を format で指定された書式指定にしたがって変換し、長さ max の文字列 s に書き込む。要素別の時刻構造体 tm は <time.h> で定義されている。 ctime(3) も参照。 書式指定はヌル終端された文字列であり、「変換指定 (conversion specification)」と
ゼロからはじめるプログラミング言語Rust(7) Homebrewを使ってmacOSにRustをインストールする方法
パッケージ管理システムを使ってインストール これまで主要なプラットフォーム（Windows、macOS、Linux）にRustをインストールする方法やアンインストールする方法、アップデートする方法を説明した。この方法はRustチームが紹介しているオフィシャルな方法だ。しかし、Rustをインストールする方法はほかにもある。 macOSやLinuxを使っているなら、これまで紹介したようにコマンドやプログラムごとにインストールを行うことは稀だろう。パッケージ管理システムを使ってコマンドやプログラムのインストール、アンインストール、アップデートを行うことが多い。同じ操作でインストールやアンインストールが可能で、アップデートの手間も一括で終わる。 Appleから正式なパッケージ管理システムは提供されていないが、macOSにはサードパーティ製のパッケージ管理システムがいくつか存在している。ここではそう
シェルスクリプトでの排他処理 - Qiita
業務系のシステムでシェルスクリプトを使用している場合など、 多重起動の防止などで排他制御が必要な場合が多々あると思いますが、その様な場合に役に立つシンボリックリンクを利用したシェルスクリプトでの排他制御方法です。 ただし、あくまでもシェルスクリプトによる処理ですので、厳密な意味での排他制御にはなり得ないために タイミングによってはどうしても多重起動してしまう危険性がある事は考慮しておく必要があります。 この処理では自分自身のプロセス ID をロックファイルとしてシンボリックリンクして利用しているので、排他制御を実施したプロセス ID が簡単に確認できる様にするとともに、何らかの理由で不正にロックファイルが残ってしまった場合にプロセス ID を確認する事で簡単にリカバリ可能としています。 なお、プロセス確認のために /proc を参照しているので、 Linux など /proc が存在するシ
「当時、AWSは大手に勝つための切り札だった」専業SIの歴史で振り返る2010年代のクラウド、次の10年の技術
「当時、AWSは大手に勝つための切り札だった」専業SIの歴史で振り返る2010年代のクラウド、次の10年の技術 Amazon Web Services（AWS）が日本に上陸する前からAWSのシステムインテグレーションで注目を集めてきたアイレット。常に次のニーズを探り続ける同社が今狙うのは何か。ヒントは 「スピード感」と「社会インフラ」にある。 国内でAWSのインテグレーターとして必ず名前が挙がるのがアイレットだ。同社が運営する「cloudpack」は、AWSの幅広いプロダクトを導入・設計から運用保守まで、フルマネージド型のサービスで提供する。 AWSのパートナーは世界で1万社を超える。その中でAWSパートナーネットワーク（APN）プレミアコンサルティングパートナーは世界で115社だけ。そしてアイレットは日本に9社しかないAPNプレミアコンサルティングパートナーの1社だ。アイレット創業者であ
「ずっとプレーヤーでいたい」ITエンジニア、課長昇格を拒否できるか
Q. ITエンジニアです。課長への昇格が発令されました。これを断ることは可能でしょうか。問題なければ断りたいです。専門的な仕事は好きですが管理職の業務に興味はありません。なにより部下の目標設定や人事評価などに興味が持てないのです。プレーヤーがいいです。いかがでしょうか。 職種やポジション変更、配置転換などは人事異動として行われます。その人事権の行使は業務命令であり会社が行うものです。社員がOK、NGと判断するものではありません。課長への昇格（昇進）が嫌だとしても、本人が決めることではありません。初級社員から中級社員のように給与資格が上がることを昇格、役職が上がる昇格を昇進といいます。 昇格は人事権の行使であり、業務命令として発令されます。会社にとっては、拒否＝業務命令違反であり、懲戒処分にすることができます。しかし筆者は懲戒処分をおすすめしません。会社は、まず社員が昇格を嫌がる理由を分析す
代数的データ型 - Wikipedia
代数的データ型（だいすうてきデータがた、英: algebraic data type）とはプログラミング、特に関数型プログラミングや型システムにおいて使われるデータ型である。それぞれの代数的データ型の値には、1個以上のコンストラクタがあり、各コンストラクタには0個以上の引数がある。 代数的データ型の値（データ）の感覚的な説明としては、引数で与えられた他のデータ型の値を、コンストラクタで包んだようなもの、である。コンストラクタに引数がある代数データ型は複合型（他のデータ型を組み合わせて形成する型）である。
Union Typesは直和型ではない | 雑記帳
【2017年12月18日 追記】この記事は古いTypeScript (2.0以前) を念頭に置いている。もちろん、現在のTypeScriptにも当てはまる記事はあるだろうし、TypeScript以外の言語における合併型 (union types) についてもある程度読み替えられるかもしれない。ただしElmとは “Union Types” の用法が完全に相入れないのでElmユーザーの方はお帰りください。 TypeScript 1.4について、 TypeScript 1.4.1 変更点 – Qiita という記事が目に留まった。で、その中の 直和型(Union Types) という項目に引っかかりを感じた。: なぜ引っかかりを感じたかというと、TypeScriptに今回導入されたUnion Typesと、巷に言う直和型というのは、異なる概念であるからだ。 注意：以下の話は型理論の専門家でもない
谷島の情識
美女3人組アイドルについて4年間で23本の記事を書いたが、私は中毒者ではない 「『イン・ザ・メガチャーチ』、とても面白いですよ。推し活をされている谷島さんにぴったりの本です」 2025.10.09 「私には書きたいコードがある！」、ULSグループ漆原会長がHHKBを掲げて宣言 「これからの25年、チャンスはたくさんある。私は現場を担う若い世代を育て、スタートアップを全力で応援していく。私自身も最前線に立ち、コードを書き続ける。私には書きたいコードがある！」 2025.09.25 全体最適と個別最適の両立が必要、ERPを使っても使わなくても 欧米製のERP（統合基幹業務システム）パッケージソフトが日本に上陸してから30年以上たつにもかかわらず、30年前とほぼ同じ苦労談を聞くことがある。導入に巨費と長時間をかけて何とか動かしたものの、利用する現場から不満の声が絶えないといった話だ。 2025.
ITの世界は「教育された無能力」状態、立ち直るには思想が必要だ
「教育された無能力」という言葉があると知った。「考えても仕方がないし考えなくてもよくなった」状態を指し、「訓練された無気力」とも呼ぶ。社会学や教育学、行動心理学において長年注目されてきた現象だという。 日本の組織における情報化、システム開発と運用、IT利用、デジタル化、言い方は何でもよいが、とにかくこの領域において「教育された無能力」ないし「訓練された無気力」、つまり情報関連のことを「考えても仕方がないし考えなくてもよくなった」現象がある。 上記はこのほど出版された『情報資源管理とシステム構築統制の探究～管理思想からの理論的検討』（中西昌武著、共立出版）における指摘である。中西氏は情報資源管理のコンサルタントを経て、名古屋経済大学に移り、経営学部の教授を2020年3月末まで務めた。もともとは人間学や教育学を学んだが、工学博士でシステム監査技術者でもある。 オープンシステムとERPがもたらし
GitHubがnpmの買収を発表、JavaScriptのパッケージ管理サービス。将来的にはGitHubとnpmを統合へ
GitHubがnpmの買収を発表、JavaScriptのパッケージ管理サービス。将来的にはGitHubとnpmを統合へ GitHubは、JavaScriptのパッケージ管理サービスを提供するnpmの買収を発表しました（GitHubの発表、npmの発表）。 We’re excited to announce that @npmjs will be joining GitHub. Millions of JavaScript developers rely on npm, and we’re honored to support this community in a new way. Learn more at https://t.co/MsQMc1rIJd pic.twitter.com/CUuPojccpm — GitHub (@github) March 16, 2020 npmはNo
Visual Studio Codeの代替を狙う統合開発環境「Eclipse Theia 1.0」リリース。VS Codeの拡張機能を利用可能、デスクトップ版とWebブラウザ版に両対応
Visual Studio Codeの代替を狙う統合開発環境「Eclipse Theia 1.0」リリース。VS Codeの拡張機能を利用可能、デスクトップ版とWebブラウザ版に両対応 Eclipse Foundationは、オープンソースで開発されている統合開発環境「Eclipse Theia 1.0」のリリースを発表しました。 Eclipse Theiaは、「真のオープンソースによるVisual Studio Codeの代替」（a true open source alternative to Microsoft’s popular Visual Studio Code (VS Code) software）だとEclipse Foundationは紹介しており、デスクトップアプリケーションだけでなくWebブラウザからも同一機能が利用できるWebアプリケーション版も提供されています。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Can I set an environment variable for an application using a shortcut in Windows?
最も脆弱性が多い言語は？ OSSの脆弱性は増大傾向（TechTargetジャパン） - Yahoo!ニュース
GitLabと他のツールとの比較 | GitLab.JP
OpenGrok - Wikipedia
決済基盤、銀行独占に風穴 フィンテック排除「独禁法違反も」 公取委報告書 - 日本経済新聞
Man page of PGREP
AI発の戦法が初受賞 将棋・升田賞に「エルモ囲い」 - 日本経済新聞
