先進坑は本坑掘削前に地質や湧水の状況を把握するための断面の小さなトンネルで、最終的には作業用や避難道として活用される。南アルプストンネル山梨工区では先進坑とともに、今後、トンネル本坑が掘り進められていくことになる。現在の時点で、JR東海は工事完了の見通しを「2030年」としている。 2015年12月の山梨工区の起工式で、当時は10年間で工事完了と見通したが、いまのところ5年遅れとなっている。実際には、同工区の工事完了がさらに遅れるのは必至である。 2016年11月に起工式を行った南アルプストンネル長野工区でも工事完了見込みを「2030年」としているが、土被どかぶり約1400メートルと前代未聞の山岳トンネル区間が待ち構えており、こちらもさらなる遅れが見込まれる。
こんにちは。ウォンテッドリーの Enabling チームでバックエンドエンジニアをしている市古（@sora_ichigo_x）です。 現在、Enabling チームでは技術的な取り組みを社外にも発信すべく、メンバーが週替わりで技術ブログをリレー形式で執筆しています。前回は小室さんによる「【入社エントリー】なぜSIer出身者がウォンテッドリーへ転職したのか」でした。今回は私が日頃から仕事で大事にしている段取りの話をします。 はじめにこの機能をまるっと任せたい / この課題をなんとかしてほしい エンジニアとして経験を積んでいくと、ある時から「この機能をまるっと任せたい」「この課題をなんとかしてほしい」といった、粒度の大きな仕事を任される機会が多くなります。実装方針やタスクの切り方、スケジュールの立て方まで自分で考える必要があり、責任と裁量の両方を担うことになります。しかしその自由度ゆえに「どう
<cite>は作者名を入れてはならないし、<blockquote>に含めてもいけない 引用するときに<cite>を使って引用元を明示するが、ここには著作物の名前（書籍、論文、詩、絵画などのタイトル）を入れるもので、作者名（著作者）を入れるものではない。 The cite element represents the title of a work A person’s name is not the title of a work — even if people call that person a piece of work — and the element must therefore not be used to mark up people’s names. https://html.spec.whatwg.org/multipage/text-level-semantics.
Blog X-Tech5エンジニアがお送りするテックブログ SREやDevOpsをはじめ、インフラエンジニアリングの実践情報を届けします。 「なんか、たまにレスポンスが遅い時がある気がするんですよね」 →「わかります。でも、いまいち再現できないんですよねぇ…」 こうした会話は現場でよく見られます。ユーザーからの問い合わせや、QAチームやカスタマーサクセスチームでの発見、チーム内での気づきなどに端を発することが多く、そのほとんどは明確なデータに基づかない「感覚」から始まります。 この「感覚」は非常に重要です。 しかし「感覚」は主観的なものですから、扱いが難しい側面があります。重要だが緊急ではないと判断されて後回しに…これまた、よくある光景です。 もしこの「感覚」をデータで確認できたらどうでしょうか？ データをもとに、状況確認や定量化ができれば、より適切に優先順位をつけられます。それにデータが
はじめに BentoMLによるLLM Inference Handbookという、LLMの推論をまとめたハンドブックがある。本記事ではハンドブックや他の情報も参照しつつ、自分のメモ用としてLM推論に関する技術をまとめていく。 LLMの推論と内部理解の必要性 LLM推論とは、GPT-4、Llama 4、DeepSeek-V3などの学習済みLLMを使用して、ユーザーの入力から意味のある出力を生成することを指している。その推論には、たくさんの技術が抽象化・隠蔽されている。APIを利用している場合は、ほぼ意識せず活用できる。しかし、APIを何らかの理由で利用できない場合や、Open WeightなLLMを利用したい場合はこれらの技術を理解する必要がある。 実際、最適化されていない設定では、GPU時間で10倍のコストがかかることもある。ユーザー面であっても、最適化がされていなければ、応答速度が遅くな
時間軸並行処理：ある時間の 『範囲』 において、複数のタスクを扱うこと並列処理：ある時間の 『点』 において、複数のタスクを扱うこと 書籍：Linux System Programming, 2nd Edition Chap.7 でも "時間" という観点での違いが言及されています。 Concurrency is the ability of two or more threads to execute in overlapping time periods. Parallelism is the ability to execute two or more threads simultaneously. 並行処理は、複数個のスレッドを共通の期間内で実行する能力のことです。 並列処理は、複数個のスレッドを同時に実行する能力のことです。 構成と実行並行処理：複数の処理を独立に実行できる 構成
📖 はじめに 弊社では、チケットペイ というチケット販売サービスを提供しています。 ライブ・舞台・スポーツ・トークなど、さまざまなイベントのチケット予約・購入をオンラインで受け付けています。 近年の需要増加に伴い、特定イベントの販売開始直後にアクセスが集中するようになり、インフラ設計の見直しが必要になってきました。 この記事では、「サーバを自動的にスケーリングする仕組み」 を実装し、急激な負荷に耐えるための工夫についてケース別に紹介します。 👉 この仕組みにより、販売者は安定したチケット販売運営を、購入者はサーバトラブルに悩まされることなくスムーズにチケットを購入できるサービスを実現しています。 🎫 背景 特に人気の高い抽選販売チケットなどは、販売開始直後に一斉アクセスが集中し、販売ページにアクセスしづらくなる問題が発生していました。 これまでは担当者が手動で Web サーバや DB
assertion とは 起きた出来事 原因 Java Kotlin 対策 まとめ We are hiring! assertion とは assertion とはプログラムの中の様々な前提が満たされていることを確認するための仕組みで、日本語だと「表明」という訳が当てられることが多いです。 Java や Kotlin に限らず様々な言語で実装されており細かい仕様は言語ごとに異なりますが、多くの場合「前提が満たされていない場合は例外を発生させる」「本番環境では無効化できる」という点で共通しています。 例えば Kotlin の場合は以下の形で記述され、仮に条件が満たされなかった場合は AssertionError が指定されたエラーメッセージ付きで投げられます。 val result: Int = someFunction() assert(result > 0) { "result of s
MP3ファイルをダウンロード 内容紹介 twadaさんをゲストに、Vibe Coding、Agentic Coding、Context Engineering、実際の活用方法、AI時代のエンジニアの育成などについて語っていただいたエピソードです。 出演者 話したネタ Vibe Coding Agentic Coding Agentic Engineering (Zed) Prompt Engineering と Context Engineering 開発生産性カンファレンスでの講演 twadaさんの使っているAIコーディングツールは？ AIコーディングツールを何に活用している？ 8割の機能は一瞬で完成、残りの2割の作り込みが大変 AI時代におけるエンジニアの育成 可処分時間の差とアンラーニングの重要性 設計判断力の鍛え方 共通言語の重要性 SQLアンチパターン 第2版
画像はシュウちゃんに教わった構え お前は機動戦士ガンダムジークアクスを見ただろうか。俺は見た。めちゃくちゃ面白かった。特に何が良いって11話だ。計略と謀殺の世界に身を置いたキシリアがニャアンに撃たれた理由を理解できず、銃を向けてからBGMが一気に変わり何もかもが手遅れになりかけていく状況で「ゼクノヴァ」「この世界の女神と化してしまったララァ」「終焉の地、イオマグヌッソ」の事をシャアが語る。その中で最早重力に引かれて落ちるのでなく自らの意思で飛んでくるジークアクス。シュウジが「向こう側から来た」事を語った瞬間に流れ出す、宇宙世紀の一つの区切りとなった楽曲。ゼクノヴァの光の中で何とははっきり見えないのに、アンテナは白く。顎は赤く。胸元は黄色く。胴は青く。「彼らにも」「我々にも」はっきりと異質とわかるあの機体は…！となる瞬間がめちゃくちゃ良い。もしまだ見てないならAmazonPrimeで見られる
amazon.co.jpで見る 「キミラノ」が7月15日にサービス終了とのことで、キミラノでまとめていた記事をサルベージしてきました。2023年に作成した「Vtuber観てないオタクがVtuberラノベを読んでまとめてみたよ」というまとめに、キミラノで取り扱いのなかったタイトルや最近読んで面白かったタイトルをいくつか足して作成しています。まとめ直すにあたり主人公や視点ごとにまとめ直して、紹介する順番を変更したりしています（基本的に内容の変更はしていません）。 2023年1月の時点ではVtuberラノベのほぼ全部を漁れていたと思うのですが、このあと一気にVtuberラノベブームが来て追いきれなくなりました。ちなみにVtuberは2025年になったいまでもほとんど実物の配信を見たこと無いのでタイトル詐欺はしていない。長尺生放送多いのもあって最後まで見れたこと無いんだよな……ちょっと前のにじさん
この記事は毎週必ず記事がでるテックブログ Loglass Tech Blog Sprint の99週目の記事です！ 2年間連続達成まで残り7週となりました！ 始めに ログラスに入社してから時間が経つのも早く、もう3ヵ月経ちました。 そんな私ですが、入社して最初に作成したPRの話をしていきます。 普段からVimやLinuxを使うのが好きではありますが、それと同時に 環境構築オタク を自称している側面もあります。 オタクを自称する分、環境構築には多少のこだわりがあり、プロジェクトディレクトリに入ったら開発のための便利ツールがすぐ手元にある状態であってほしいのです。 プロジェクトに触って最初にやることというと環境構築ですが、必ずしも運用しやすい状態になっている訳ではありません。 その中でもログラスのプロダクトは環境構築がしやすい方ですが、より効率的にするためMakefileのブラッシュアップをし
今回の記事はC#のIncremental Source Generatorについて。 C#ではSource Generatorを用いることで、コンパイル時に属性などの情報から動的にコードを生成することが可能です。これはシリアライザや通信層のライブラリなどによく使われていて、ボイラーコードの生成を自動化するのに役立ちます。また、近年ではNativeAOTへの対応から、従来ではリフレクションやIL生成で行っていた処理をSource Generatorに置き換える作業が進んでいます。 そこで今回はRoslynの基本的な部分からIncremental Source Generatorの実装までを解説していきます。ややとっつきにくさはありますが、使いこなせれば非常に強力なツールになるので、特にライブラリなどを開発する方は覚えておくと良いでしょう。 前提知識 C#の基礎的な知識 構文解析に関する基本的
CRMならSalesforce、勤怠管理ならfreee、在庫管理ならスマレジ。SaaSの世界にも代表選手はいて、その機能や安定性を思えばリーズナブルな価格で提供されている。それでなくとも、業界5位ぐらいまではそこそこ使いやすく、よくメンテナンスされたサービスを使える時代だ。 だが、どこにでも光が当たらない場所があるように、地図に載らない村があって、忘れられたサービスが存在する。数社しか使っていない受発注システム、特定の業界のニッチな慣習のためだけに作られた顧客管理ツールのことだ。 それらは総じて使いづらく、最近のサービスが当然のようにサポートしている機能が存在しないことも多々あって、めっぽう、古くさい。もしあなたが、古いmac osのaquaテーマや*1、Tableタグの二重線を見たいと願ったなら、きっとこれらのサービスが要望に応えてくれるだろう。 なぜ、そんなサービスが存在し続けるのか。
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
