本記事は TechHarmony Advent Calendar 2024 12/21付の記事です。どうも。現在の生成AIの流行を踏まえたAIもののSF小説を面白がって読んでいる寺内です。 re:invent 2024 で発表されたAmazon SageMaker Unified Studio の紹介記事の続きとなります。【re:Invent 2024発表】次世代 Amazon SageMaker Unified Studio に触ってみた 2024年のre:Inventで発表された次世代機械学習モデル開発IDEである、Amazon SageMaker Unifi

Leanを書いてる最中にシェルのコマンドを実行するコマンドを作る

2024/12/19

ブックマーク

本記事はLabBase テックカレンダー Advent Calendar 2024 19 日目です。 https://qiita.com/advent-calendar/2024/labbase 概要 Leanは関数型パラダイムを持ちなおかつ定理証明支援系で、強力なメタプログラミング機能をそなえたという変わった言語です。本記事ではLeanを書いている最中にもシェルを叩けるように、Leanのメタプログラミング機能のElaborationをつかって、Leanのソースコード内で使

利用終了したドメイン名の終活に向けて〜観測環境を作った話〜

2024/12/17

ブックマーク

この記事は、 NTT Communications Advent Calendar 2024 17日目の記事です。みなさんこんにちは、イノベーションセンターの平木です。 Network Analytics for Security 1 (以下、NA4Sec)プロジェクトのメンバーとして活動しています。この記事では、利用終了ドメイン名観測の環境構築の知見を共有していきます。明日の記事では観測されたログの分析結果を紹介したいと思います。利用