はじめに こんにちは, 普段は情報科学専攻の大学院生をしながらバックエンドエンジニアをやっている @koki-algebra です. 普段は Go をよく書いているのですが, 大学でやっている機械学習の研究では Python を使うことがほとんどです. Go のエコシステムに慣れきった私は Python の混沌とした環境に耐えきれず, 最強の開発環境を整えることを決意しました. 具体的には Package Manager, Formatter, Linter, Type Checker, Test Tool を選定し, VSCode の DevContainer を用いてポータビリティに優れた開発環境を作ることを目指します. また, Deep Learning では GPU が必須である場合が多いので, GPU 環境も同時に整えたいと思います. 以下のレポジトリが今回考えた開発環境のテンプ

大阪に本社がある機械メーカーの日立造船は、来年10月に社名を「カナデビア」に変更すると発表しました。日立造船は戦後、日立グループから離れ、すでに造船事業からも撤退していたため社名と事業がかい離した状態が続いていました。 発表によりますと、日立造船は、来年10月に社名を、日本語の「奏でる」とラテン語で「道」を意味する「Via」を組み合わせた「カナデビア」に変更します。 技術革新によってオーケストラがハーモニーを奏でるように、人類と自然に調和をもたらす新しい道を切り開くという決意が込められているということです。 日立造船は、1881年に「大阪鉄工所」として創業し、造船事業などを手がけていましたが日立製作所の傘下に入ったあとの1943年に今の社名に変更していました。 そして戦後の財閥解体に伴って日立グループから離脱し、2002年に造船事業を分離してその後、撤退していました。 現在は、ごみ焼却施設

今度子どもが生まれる。 第一子。実感はまだない。 先日、妻とどんな子に育ってほしいか話し合った。 そこで共通していたのは「ちょっとした校則違反をするような子ども」だった。 当然、いじめとか暴力は絶対にダメだ。 けど、スカートの丈を少し短くしたり(今どきはあまりいないだろうが)、先生に内緒で学校で友達と漫画の貸し借りをしたり、入ってはいけない屋上に部活の先輩から受け継がれた鍵で侵入して友人と夕日を見たりしてほしい。 ほんの少しだけ色がつくようなリップクリームを塗ってみたり、小学生のときは友達と学区外まで自転車で探検したり、合唱コンクールの打ち上げを子どもだけでファミレスでやってほしい。(最後のやつは何ヶ月か前に増田で見た) 自分たちが学生の頃を思い出しても、ちょっとした校則違反をしていたやつの方が要領がよくて、その後の人生も上手くやっている。 もちろん先生から保護者宛てに連絡が来たらちゃんと

同棲1年→結婚して半年ほどだが、同棲している頃からずっと嫁のご飯の食べ方が変で困っている。 例えば自分の場合、「メインのおかず」「白米」「汁物」と献立があった場合、おかず→白米→汁物→おかず→白米→汁物→・・・とループしながら少しずつ食べていく。いわゆる三角食べというやつ。 ただ嫁の場合、まずおかずを全て食べきる→白米を白米だけで食べきる→汁物を汁物だけ飲む、というような一皿ずつ制覇していくような食べ方をする。 あと、亜種として「ラーメンの上の具だけを先に食べてあとで麺を食べる」「とんかつとキャベツを並行で食べず、かつだけ食べてからキャベツだけ食べる」みたいなパターンもある。 （ただし丼ものやカレーなどは「これで一品の料理」という認識らしく、これらについては普通に一緒に食べる） 嫁と暮らすまでこういう食べ方をする人間を見たことがなかったので認識していなかったが、どうもこういう食べ方を「ばっ

はじめに Typst とは、新しい組版ソフトウェアです。数式を多用する科学技術系の記事を書くのに向いています。 ローカル環境で PDF にコンパイルすることもできますし、 Overleaf のようなオンラインの執筆環境も提供されています。 この分野では LaTeX が歴史的にも非常に強く、なかなか代替のソフトウェアが出現しなかったのですが、ようやく注目にも値する品質のものが登場してきたという感じです。 そもそも組版システムとは そもそも Qiita や Zenn でも数式を埋め込むことができるこの時代、ドキュメントを書くための専用の言語を使う理由は何でしょうか。 LaTeX はオワコンではないのでしょうか。 組版システムというのは簡単には無くなりません。これは、ブログや Wiki などの Web の記事とは性質が異なるからです。 組版システムは紙に印刷することを最終的な目的にしたシステムで

かつて富裕層の象徴となっていた、価格が1億円を超える、いわゆる「億ション」。 しかし、今では東京23区の新築マンションの平均価格は高い月では9000万を超え、その買い手はサラリーマンの世帯にも広がっています。 なぜ高額な物件を買い求めるのか、費用はどうしているのか、最近、都心で億ションを買ったばかりの夫婦に詳しく話を聞かせてもらいました。 （首都圏局 記者／牧野 慎太朗）

Published 2023/01/26 18:04 (JST) Updated 2023/01/26 19:45 (JST) 政府が、新型コロナウイルス感染拡大防止に向けたイベントの収容規制を事実上解除する方向で調整していることが26日分かった。満席で大声を出して応援したり声援したりすることが可能となる。複数の関係者が明らかにした。

ツイッターで「ソフトウェアエンジニアとしてキャリアを歩むなら、SIer はおすすめできない」と発言している方に対して、現役 SIer 社員が反論していて、ちょっとした騒ぎになっていた。 10 年間 SIer で働いた経験がある人間として、SIer で「ソフトウェアエンジニア」のキャリアを積めるかどうかについて見解を示したい。 頼むからプログラミング好きな高学歴の人は下手なネームバリューを気にしてSIerに行かないでくれ。まずSIerの研修が簡単すぎてつまらんと思うし、自分の方がプログラミングや技術分かるのに年収同じなのかって絶望するわけで。ほぼ転職する未来が待ってるんだから、最初から候補にも入れない方が良い。 — サカモト@エンジニアキャリア論 (@sakamoto_582) December 15, 2022 やはり何故かSIer叩きをしていると勘違いしてる人が大勢いるけど “SIerに

各機能とツールについて、説明していきます。 エディタ Visual Studio Code エディタやIDE(統合開発環境)は好きに選んでいただければ良いとは思いますが、特に希望がないならば、Visual Studio Codeを選んでおけば間違いないでしょう。 Pythonを含む幅広い言語に対応し、豊富な拡張機能を備えている非常にリッチなエディタです。とりわけPythonプロジェクトについては、これさえ有れば、特にIDEなどは必要ないと思います。 インストールは↓から。 バージョン管理ソフト Python3系は日夜アップデートされていて、2022年12月現在の最新verは、3.11.1が提供されています。 とはいえ、プロジェクトによっては、3.7.1までしか動作が担保されていないもの、3.9.0で現在開発中のもの...などがあります。最新のPythonが常に必要、というわけでは決してなく

Z世代に人気のブランド　モデルがギタリストのふりをするが、ありえないギターの扱い方をしてギタリストたちに衝撃を与える Z世代に人気のブランドの広告で、モデルがクールに見えるようにと小道具としてギターを加えたものの、ありえないギターの扱い方をして、海外のギタリストたちに衝撃を与えています。 アメリカのZ世代を中心に人気を博し、世界中で話題を集めている香港発のブランド「サイダー（Cider」は、ダイヤモンド柄のポロ・ミニ・ドレスのキャンペーン広告を発表しています。 女性モデルは、2弦のストラトキャスターを持っています。立って演奏する場合はギターストラップを用意するのが賢明なのですが、このモデルはギターストラップを使用せず、2本の弦のうちの1本（low E）を持ち手として使用しています。左手はヘッドストックを持って楽器を支えていまが、ギターの重量の多くはlow Eの1弦だけにかかっています。lo

はじめに サイバーセキュリティ推進部の吉田です。普段は、CSIRTメンバーとしてAWS環境や各種端末のモニタリング、セキュリティインシデント対応、社内からのサイバーセキュリティに関する相談対応などの業務を行っています。 2023/05/10 追記 GitHubのアップデートによって、プライベートリポジトリのIssueやPull Requestsに新たにアップロードされたファイルは、権限を持たない外部からは参照できなくなったようです。詳細につきましては、以下のGitHubのブログをご確認ください。 https://github.blog/changelog/2023-05-09-more-secure-private-attachments/ 概要 GitHubのIssueやPull requestsに添付した画像はWebにアップロードされ、パブリックなURLが割り当てられます。このURLは

🐣 はじめに みなさん、勤怠打刻してますか？ 先日、このようなツイートをしたところ、思わぬ反響がありました。 そこで、この仕組みの全体像や工夫した点などをまとめることにしました。 SlackやGASを使ったOps自動化に興味がある人に読んでもらえたら嬉しいです。 きっかけ そもそもSlackにはfreeeが公式で提供している人事労務用のSlack appがあり、スラッシュコマンドを使って勤怠打刻できます。便利ですね。 ただ、このアプリ、コマンドを打つのがとにかくめんどくさかったりします。 あるとき、同僚が「もっと気軽に勤怠打刻できたらええのになぁ」と言っているのを耳にしました。 そこで、スタンプで勤怠打刻できる仕組みを作り、運用を始めました。 それから数ヶ月後、会社にフレックスタイム制が導入されました。 「ワークライフバランス！！さいこう！」となりつつも「今月はあと何時間働けば良いんだっ

鈴木宗男氏「ウクライナは停戦を」　欧米の武器供与停止も訴え 2022年10月05日17時43分 日本維新の会の鈴木宗男参院議員＝４月１７日、札幌市 日本維新の会の鈴木宗男参院議員は５日、東京都内で開かれた駐日ロシア大使の講演会で、同国の侵攻を受けるウクライナに関し「プーチン大統領が停戦だと呼び掛けたのだから乗るのが筋だ」と語った。「ミサイルを含め極めて攻撃的な武器を米国が供与するから戦争が長引く」とも述べ、欧米諸国の武器供与停止も訴えた。 対ロシア制裁「短絡的」　政府対応を疑問視―維新・鈴木氏 鈴木氏はウクライナについて「鈴木宗男が（横綱の）照ノ富士にかかっていくようなものだ。どんなことをやっても勝てない。武器供与をやめれば収まる話だ」と指摘。停戦により「世界がスクラムを組み、もとの安定した状態に持って行くのが一番賢い外交、世界平和に向けての道だ」と主張した。 政治 コメントをする

今の世の中、自分のアタマで考えないほうが良いターンになっていると思いませんか。 犬も歩けばフェイクに当たる これはアウト。 物理的にありえない水の動き、現実的ではない家の配置、画質と画像サイズ。AIが作成した写真です。 熊本地震の際にライオンが逃げたとフェイクニュースを流した人と同様で、災害時に不安を煽るデマを流している。通報しました。 なお、ライオンの件投稿した男性は後に逮捕されています https://t.co/WRRKb1xrWy— なかむらすばる🌻紅楼夢【き03-b】 (@subaru_chen) 2022年9月26日 先日、静岡県の水害のフェイク画像がツイッター上に流された。ある者はそれを本物と思って拡散し、別の者はフェイクだと疑って拡散を思いとどまったり、疑問の声をあげたりした。自分のタイムラインではこれに引っかかる人はいなかったように見えたけれど、皆が皆、引っかからずに済ん

【この記事のポイント】・2023年住宅数が世帯数より1000万戸余り、日本に空き家危機が迫る・人口減時代に新築中心の住宅産業育成策を続けていることが背景・既存住宅の活用や住宅を解体しやすい環境の創出がカギになる2023年、住宅総数が世帯数に対し、約1000万戸も余る時代が到来する。かつての住宅不足の解消を目指す政策が人口減少社会でも維持されてきたことで、家余りがさらに深刻になる。すでに約849万

はじめに gcc v12.1において、C++の正規表現ライブラリstd::regexに、正規表現のバリデーションを改善するパッチ(以下"改善パッチ"と表記)が取り込まれました。改善パッチによって、これまではバリデーションにひっかからなかった不正な正規表現文字列が"正しく"不正なものと認識されて例外が発生するようになりました。 これだけ聞けばいいことだけのように思えるかもしれませんが、実はそうでもなかったりします。経験豊富なかたであれば見た瞬間ゾッとしたかもしれません。本記事では、この一見問題なさそうな改善パッチによって発生しうる問題、および、その具体的例について紹介するとともに、この手のパッチを当てるかどうかは難しい判断になるという知見を共有します。 結論 改善パッチによって発生する問題 発生条件 gcc v12.1以降、あるいは改善パッチをバックポートされた任意のバージョンを使ってC++

概要 OSを座学・書籍で学ぶだけでなく実際に作ってみたくて、またRustでなにかを作りたくて、 ゼロからのOS自作入門(以下みかん本)で作るMikanOSをRustで実装しました[1]。 先駆者はいくつか見かけましたが、最後まで実装されている方は見つけられず、 もしRustで実装しようとしてハマっている人や途中で諦めてしまった方がいれば参考になるかと思い、記事を書きました。 実装者のレベル 一応、私のレベル感を書いておきます。 OSの開発経験はなく、低レイヤーっぽい開発経験もひとつだけ Nand2tetris Rustは以下のように多少の経験はあるが業務で利用したことはなし the book はほぼ読んで写経した Rustで始めるTCP自作入門 はやった Programming Rust, 2nd Edition は気になるところを読んだ というような感じで、OS開発もRustも経験が浅い

昨日7月26日（火）にマイナビオールスターゲーム2022の出場球団およびNPBスタッフを対象に行ったスクリーニングのPCR検査で、「つば九郎」が陽性判定を受けましたので、お知らせします。 なお、本日予定していたマイナビオールスターゲーム2022第2戦（松山・坊っちゃんスタジアム）への出演は、見合わせることとなりました。 ファンの皆さまをはじめ、関係者の皆さまにはご心配おかけいたしますことを、心からお詫びいたします。 当球団では引き続き、チームの感染予防、感染拡大防止に取り組んでまいります。 今後神宮球場で行われる予定のイベントに関しては、決定次第球団ホームページにてお知らせいたします。

IT系上場企業の平均年収を業種別にみてみた 2022年版［前編］ ～ ネットベンチャー、ゲーム、メディア系 IT系企業で平均年収が高いのは、勢いのあるネットベンチャー系企業なのか、それとも伝統的なSIerなのでしょうか。毎年恒例の記事を今年も公開します。 新型コロナウイルスの感染拡大が始まってすでに2年以上が経過しつつあるなかで、この状況に適応しつつ成長できている企業なのかどうか、といった視点が重要になってきているように思います。そうした点で、今年も情報をまとめたこの記事は多少なりとも参考になるのではないでしょうか。 さて、上場企業は毎年「有価証券報告書」の発行を義務づけられており、そこには従業員の人数や平均年齢、平均年収などが掲載されています。この記事では、これら公開情報を基に、Publickeyが独自の判断で主な企業をピックアップして業種を分類。平均年収が高い順に並べてみたものです。