「配列のすべての要素が条件を満たすなら True を返す」関数を定義するとき、空の配列を渡したら True を返すべき数学的証明
きになるなるなる
ChatGPTを使って工作したら、カオスな作品が爆誕してしまった | fabcross
2023年、話題をかっさらっているChatGPT。fabcrossも、ChatGPTを使って何かできないかと考え、ものづくりメンバーたちに無茶ぶりしてみました。勇者と呼んでも差し支えない3人によるChatGPTを使った工作をご紹介します。
"“難所の峠”トンネルようやく貫通 静岡~長野間が30分→6分に 計画から40年の悲願(2023年6月2日)" を YouTube で見る
先週、長野県と静岡県をつなぐ「青崩峠トンネル」が貫通しました。工事が極めて難しく、計画が持ち上がってから、実に40年が経ってからの悲願達成。トンネルが開通すると、どんなメリットがあるのでしょうか?
■静岡~長野間 道路の行き来 30分→6分に
立ちはだかる壁に掘削工事を行う大型重機。やがて、小さな穴から光がうっすらと差し込んできました。
先月26日、長野県飯田市と静岡県浜松市を結ぶ三遠南信自動車道で、最大の難所と言われる「青崩峠トンネル」が貫通した瞬間です。
長さ4998メートルの掘削工事にかかった期間は、実に4年以上。工事が困難を極めた理由は、「青崩」というその名前が示していました。
国交省飯田国道事務所・浅井直実副所長:「トンネルの東側に中央構造線という大きな断層が存在していました。今もまだ活動を続けている。青崩峠付近に含まれる岩石が、中央構造線の影響を受けてもろく崩れやすい」
地表からの深さは最大610メートル。トンネル本体にかかる圧力も大きかったため、コンクリートの強度を通常のおよそ3倍まで高める必要がありました。
計画が持ち上がって40年。地元住民らの悲願でもあるこのトンネルが開通すると、これまで30分かかっていた飯田市と浜松市をつなぐ道路の行き来はわずか6分ほどに短縮できるといいます。
浅井副所長:「(浜松市でとれた)魚介類だとか生鮮食品とか新鮮なまま飯田市内に届きますし。飯田市とか南信州は果物が色んなものがおいしくとれますから。そういうものも新鮮なうちに、浜松のほうに出荷できるのではないかと。そういう意味では、両市の皆さんも恩恵というか効果があると思う」
(「グッド!モーニング」2023年6月2日放送分より)
[テレ朝news] https://news.tv-asahi.co.jp
Ga azure api management selfhosted gateway authentication using azure active directory
Scientists Working to Generate Electricity From Thin Air Make Breakthrough
Scientists making the "Air-gen" device have discovered that any material can be used to generate electricity from the air.
ゼレンスキーは「略式軍服」を着たのか?|ヒト
略式軍服との出会い 先日、ツイッターで一つの炎上が起こった。 いつも思うんだけど こいつに正装って概念は無いの? 他国の首脳と会うんだよね? 良くこんなラフな服装で来れるよね?😒✋ pic.twitter.com/icXj9v8B3v — おすぎとジーコ (@yukinanntekirai) May 21, 2023 広島のG7サミットに登場したウクライナ大統領・ゼレンスキー(以下敬称略)の服装を「こいつに正装って概念は無いの?」と批判したおすぎとジーコ氏が袋叩きにあっていた。 おすぎとジーコ氏への批判は主に次のように展開される。 もう山ほどコメント付いてま
GitHub のインターフェースを拡張できる「GitHub Blocks」が Technical Preview となっていました | DevelopersIO
こんにちは、CX事業本部 Delivery部の若槻です。 以前に GitHub Next について紹介をしました。 その GitHub Next のプロジェクトの1つである GitHub Blocks では、GitHub …
WebAssembly版SQLiteがWASI対応に。VMware Wasm Labsチームが明らかに - Publickey
VMware Wasm LabsチームはSQLite開発チームと協力し、WebAssembly SQLiteがWASI対応になったことを明らかにしました。 SQLiteは昨年11月にリリースされたバージョン3.40からWebAssembly...
AK on Twitter
Drag Your GAN: Interactive Point-based Manipulation on the Generative Image Manifoldpaper page: https://t.co/Gjcm1smqfl pic.twitter.com/XHQIiMdYOA— AK (@_akhaliq) May 19, 2023
クラウド上のWindows 11にログインできる「Windows 365 Boot」のプレビュー版公開 - GIGAZINE
ローカルドライブからではなく、クラウドコンピューティングサービスのMicrosoft Azure上で動作する仮想PCからWindows 11を起動させる技術のプレビューをMicrosoftが公開しました。
脳と脊髄をワイヤレスで再接続する「デジタルブリッジ」のおかげで麻痺した男性が再び歩く
「歩こう」と思ったときに発生する電気信号を無線で送受信する装置を体内に埋め込むことで、半身不随になった男性が再び歩けるようになったことが報告されました。
nhk.or.jp: 【速報中】長野 猟銃立てこもり事件 “警察官2人含む4人けが”
microsoft/devicescript: TypeScript for Tiny IoT Devices
TypeScript for Tiny IoT Devices. Contribute to microsoft/devicescript development by creating an account on GitHub.
Googleが無料で高クオリティかつカスタマイズされた商品画像を生成できるAIツール「Product Studio」を発表、オンライン店舗の売上アップに期待
Googleが現地時間の2023年5月23日に開催した広告主向けイベント「Google Marketing Live」で、中小企業を含むあらゆる企業が生成AIを利用して簡単にクリエイティブな商品画像を作成できるツール「Product Studio」をリリースすると発表しました。Googleショッピングにおいて複数枚の画像がある商品はインプレッション率が高まるとのことで、無料で簡単に高クオリティの画像が生成できるProduct Studioはオンライン店舗にとって大きな恩恵をもたらす可能性があります。
General availability azure monitor managed service for prometheus
Public preview azure event grid now includes mqtt protocol support and http pullstyle message delivery
NIST、より効率的に熱を電気に変換する新手法 - PC Watch
米国立標準技術研究所(NIST)は19日(現地時間)、熱をより効率的に電気に変換する新しい手法確立し、その効果を実証したという。
Introducing microsoft fabric data analytics for the era of ai
Introducing jobs for Azure Container Apps
Azure Container Apps, a service for running serverless containers and microservices, is excited to announce the public preview of jobs. With this new feature, Container Apps now supports two types of compute resources: Apps are generally available and are the first type of compute resource in Azur...
Azure Updates (2023.05.24 Build Day 1)
Build 2023 Day 1ですね。とりあえずBuild関連アップデートはいつも通りこちらのMicroso…
CloudflareのDeveloper Week 2023の気になった発表のまとめ - console.lealog();
Cloudflare Workersプロキシパターン
How Much Memory Do You Need to Run 1 Million Concurrent Tasks? | Piotr Kołaczkowski
In this blog post, I delve into the comparison of memory consumption between asynchronous and multi-threaded programming across popular languages like Rust, ...
Web標準に新たなステータス「Baseline」が登場。変化し続けるWeb標準のうちWeb開発者が安心して使える機能群を示す。MDNドキュメントなどで表示開始
Web開発者の開発体験を改善することなどを目的としたW3CのWebDX Community Groupは、つねに新たな機能などが登場し変化し続けるWeb標準のうち、Web開発者が安心して使える機能群を示す新たなステータス「Baseline」...
Cloudflare、分散SQLiteデータベース「Cloudflare D1」の性能を10倍以上高速に、ストレージバックエンド強化で。任意の状態にいつでも戻せる機能も - Publickey
Cloudflareは、同社のエッジロケーションでマネージドサービスのSQLiteを提供する「Cloudflare D1」をアップデートし、大幅な性能向上と機能向上を行ったことを発表しました。 We've been heads do...
Xcode Cloud は銀の弾丸になるのか - Qiita
※本記事は弊社が技術書典 14 で無料配布する同人誌「ゆめみ大技林 '23」の寄稿です。追筆や訂正等がある場合はこの記事で告知します。 皆さんは iOS 開発においてどんな CI を利用しているでしょうか。Bitrise?Circl...
Zig now has built-in HTTP server and client in std
General-purpose programming language and toolchain for maintaining robust, optimal, and reusable software.
ITの面倒を見切れず長い間放置して途方に暮れている会社が考えるべきこと - orangeitems’s diary
長い間業界にいないと体感できない話。例えば、業務用のWindows Serverで、とてもヒットしたのがWindows NT 4.0まで遡る。Windows 95/98/meなどのコンシューマー系OSと比べてとても堅牢だった。素晴らしい作品だったので、Windows 2000からはコンシューマー系もNTのアーキテクチャ…
テスラが人型ロボット(ヒューマノイド)「オプティマス」の開発中のデモ動画「Tesla Bot Update」を公開 - ロボスタ
US20220337630A1 - Method and apparatus of automatic generation of a content security policy for a network resource - Google Patents
A method for detecting and blocking Javascript hijacking attacks, comprising checking if an incoming request belongs to a valid session established between a client and a trusted server. When said incoming request does belong to a valid session, it is checked if a Referer header of said incoming request includes a valid domain name. The incoming request is marked as suspicious, when said incoming request does not include a valid domain name. It is checked if a respective response of said suspicious incoming request includes a script code. A preventive action responsive to a user input is taken when said respective response includes a script code.
これの代替OSSクローン作りたいけどどこまでなら訴えられないんだろ?
Firebaseの代替品をトップページで謳ってるsupabaseとかプロプライエタリの代替品OSS達は訴えられたりしないのかな?
調べても全然訴訟が見つからんけど。