自動テストの実行結果を「意思決定と行動を促す情報」という役割から再整理し、包括的にまとめます。 Nextbeat Tech Bar：第一回ソフトウェアテストについて考える会 https://nextbeat.connpass.com/event/309287/

研究者らはLLMが使用されているかを調査するために、AIによって生成または修正されたコンテンツを効率的に調査するための新たなフレームワークを開発した。個々のテキストがAIによるものか人間によるものかを判定する従来のAIテキスト検出手法とは異なり、このフレームワークでは、テキスト全体（コーパス）の中でAIによるものがどのくらいの割合を占めているかを推定することに焦点を当てている。 具体的には、人間の専門家が書いた査読（以下、人間レビュー）とLLM（ここではGPT-4を使用）が生成した査読（以下、AIレビュー）を参照データとして使い、それらのデータから推定された単語の出現分布を比較することで、実際の査読コーパスにおけるLLMの使用割合を推定する。 ▲提案フレームワークの概要 実験では、2018年から2024年までのICLR、NeurIPS、EMNLP、CoRLなどのAI関連のトップカンファレン

はじめに CMakeにはCTestというテストランナーがある。 CTestはテスト用の実行ファイル(テストバイナリ)が1つのテストとして認識される。 GoogleTest(GTest)のようなテストフレームワークの場合、1つのテストバイナリに複数のテストケースが含まれることが常となる。 そこでCMakeにはGTestのテストが一つのCTestとして扱われるようにするためのサポート機能がある。 テスト対象のプログラム CMake C++でユニットテスト入門(初級編)で作成した、なんの役にも立たないテストプログラムを使用する。 使用するのは下記のファイル。 hello.cpp hello.h GTest aptでインストール ExternalProjectとかいろいろあるが、まずそれ以外のことを試したいので、googletestのパッケージをaptでインストールする。 $ sudo apt i

『METAL GEAR - PRODUCTION HOTLINE』 この番組は「メタルギア」シリーズの最新情報を制作者自らお届けする番組です。 今回は本配信に先駆けての「プレ配信」となります。 ぜひ最後までご視聴ください。 YouTubeはこちら↓ https://t.co/u23REAtTFA #MetalGearSolid #メタルギアソリッド https://t.co/9GPFoyBEJe — メタルギア公式 (METAL GEAR) (@metalgear_jp) 2024-03-19 20:00:01

「20世紀以降は『社会規範から外れた人』の定義が広がります。そして現代では、かつては社会に許容されていた人でも、精神科医療を受けないと生きていけない時代になってきたわけです」（熊代 亨氏） 「自己家畜化」という言葉をご存じだろうか。これは生物が進化の過程でより群れやすく、より協力しやすく、より人懐こくなるような性質に変わっていく現象を指す。 イヌやネコがその代表例だが、進化生物学の研究では人間も自己家畜化をしており、そのおかげで今日のような高度な文明社会を築くことができたという。 しかし、高度に複雑化した現代社会において、すべての人間がその変化に適応できているわけではない。厚生労働省の調査では、今や20人に1人がなんらかの精神疾患の治療を受けているという。 この状況をどうとらえるべきか、精神科医であり『人間はどこまで家畜か　現代人の精神構造』の著者である、熊代亨（くましろ・とおる）氏に話を

九月 @kugatsu_main ピン芸人。主にコント、折に触れて文章。青森県出身。京都大学卒業。東京都在住。著書『走る道化、浮かぶ日常』（祥伝社）／ライブ予定は #今月の九月 ／読むラジオ@kugatsu_readio ひとりごと@kugatsu_mnlg 出演・執筆等の依頼はDMまたはto.obonai@gmail.com または祥伝社まで m.youtube.com/channel/UC04k7… 九月 @kugatsu_main ファミレスで作業をしていたら、横のテーブルの老夫婦に「ごめんね」と話しかけられた。タッチパネルや配膳ロボットの仕組みがわからないのだという。 最新機器の導入は従業員数の削減のためだから、使用法を説明してくれる店員など一人もいない。酷いシステムだなと思いつつ、一通り説明した。 2024-03-18 14:27:08 九月 @kugatsu_main 老夫婦は

スケール(音階)練習は、ピアノに限らずどの楽器においても大切です。 この記事では、ピアノのスケール練習のコツを4つのポイントに絞って紹介しています。 4つのポイントを意識して練習するだけで、上達速度がアップします。 ぜひ日々の練習に取り入れてみてください。 スケールとは？練習の目的と効果 スケールとは、「音階」を意味しています(引用：weblio)。音階＝音の階段であり、音と音の間隔が全音もしくは半音でつながっています。基本的には、全音と半音の組み合わせて7つの音から構成されています。 スケール練習の目的、期待される効果としては、以下のことが挙げられます。 指を自由に動かせるようになる スケール練習では、連続した音を均一に弾くことが大切です。そのためには、適切な指使いができなければいけません。例えば、「ドレミファソラシド」を弾く場合、指番号は「12312345」となります。適切な指使いを身

はじめに インデントを揃えただけのムダなコミットが増えてきて、プルリクやコミット履歴に関係ないファイルが多くなり「これはいかん」となったので、FlutterにおけるFormatterやLinterについて調べてみました。 FormatterやLinterを調べてたら、なんとその自動化の方法やちょっとした便利なパッケージを見つけましたのでそちらもご紹介いたします。 この記事で紹介したことを導入すると、「コードの整形や解析が自動で行われ」、「正しい書き方がある程度身につき」、「import 文が見やすく」なります（最後のはおまけ）。 個人的結論 FormatterはDart標準搭載のもので十分 Linterは有名な設定を include した上でプロジェクトに沿った設定をする Lefthookを導入して$ git commit時に自動整形する Linterは制約が強めなpedantic_mon

【読売新聞】編集委員　増満浩志 気候変動を食い止める切り札として、水素エネルギーへの期待が高まっている。化石燃料から作る「グレー水素」ではなく、再生可能エネルギーを活用して作る「グリーン水素」が望ましい。しかし、大きな問題がある。淡

by Frank Vincentz 水で満たしたコップを置いておくと、内部の液体の動きで半永久的に頭をゆらしつづけるおもちゃが「水飲み鳥」です。南華工科大学の研究チームが、この水飲み鳥を使って小型電子機器に電力を供給する発電システムを開発したと発表しました。 Drinking-bird-enabled triboelectric hydrovoltaic generator: Device https://www.cell.com/device/fulltext/S2666-9986(24)00108-X An electricity generator inspired by the drin | EurekAlert! https://www.eurekalert.org/news-releases/1036858 'Drinking bird' toys upgraded to ge

普段は macOSで開発をしているのだが、モバイル向けだけでなくデスクトップPC向けのネイティブライブラリも開発してくれという要望あり、そうなると Linuxでも動くflutter環境を作らなきゃということで色々調べていた。 それで最初にはまったのは「WSL2の Ubuntu上で dartコマンドを打ったら、 Windowsにインストールしてるdartコマンドの方が先に見つかる」という問題で、要は PATH環境変数が以下のようになっていた。 /usr/local/sbin /usr/local/bin /usr/sbin /usr/bin /sbin /bin /usr/games /usr/local/games /usr/lib/wsl/lib /mnt/c/Program Files/TortoiseGit/bin /mnt/c/Users/nunokawa/fvm/default/

2015年に萩の産業遺産群が世界遺産登録されたことで人気を集める山口県。「松下村塾」や「萩城下町」など、幕末や明治維新を支えた志士たちの史跡名所が多く残り、国宝・五重塔で有名な「瑠璃光寺」や菅原道真を祀る日本最初の天満宮「防府天満宮」などの歴史的なスポットも点在しています。 「角島大橋」や「秋吉台」など一度は目にしたい絶景スポットも充実。さらに下関のフグも気軽に楽しめる「唐戸市場」や「獺祭の蔵元」など、食の観光名所も合わせてご紹介します！

Golden Testとは何か? Golden Testは、UIが期待通りにレンダリングされていることを確認するためのテスト方法です。 Golden fileと呼ばれる正しいUIの画像ファイルと、テスト結果を比較し期待通りにUIがレンダリングされているかを確認します。 FlutterのGolden Testは描画結果を比較します。これはバイナリレベルで行われるため、画像のピクセルまで検証できます。 なぜGolden Testは必要なのか？ 結論、UIの変更はUX（ユーザ体験）に大きく影響を及ぼすからです。 例えばTwitterの投稿ボタンは右下に置かれていますよね？あれは片手（右手）で持っても簡単に押せるように右下に置かれています。ではある日突然、投稿ボタンが左上に行ってしまったらどうなるでしょうか。おそらく「使いにくい」と感じるでしょう。 このようにUIの小さな変更は、ユーザに大きな影響

メルカリで売れた商品をどこから送るのか困っていませんか？出品した商品を発送できる場所はいくつかあり、それぞれ対応している発送方法・料金が異なります。この記事では、メルカリで売れた商品を発送できる場所やそれぞれの発送方法・料金を解説します。 メルカリでは多種多様な商品が売買されており、それに合わせて発送方法も下記のように豊富に用意されています。 【小〜中型サイズのものを送る時】 【中〜大型サイズのものを送る時】 対応しているサイズや料金は発送方法ごとに異なるため、送りたいものに合わせて適切な方法を選びましょう。 次のパートから、発送場所や料金など、各発送方法の特徴について解説していきます。 商品が売れたら発送！どこから送れる？ メルカリで売れた商品の発送場所は、主に郵便局、ヤマト運輸営業所、コンビニの3つです。 商品取引の流れをおさらいすると、まず取引メッセージでやり取りを行い、条件がマッチ

■ ハードウェア MSX0 Stack は『M5Stack Core2』がベースとなっている製品です 1。 M5Stack Core2 ESP32 IoT Development Kit (M5Stack) M5Stack Core2 IoT開発キット (Switch Science) 次のような組み合わせで MSX0 Stack を構成する事ができます。 『MSX0 Stack』+『Faces II Bottom』+『Keyboard Face』(初期状態) 『MSX0 Stack』+『Faces II Bottom』+『GamePad Face』 『MSX0 Stack』+『M5GO Bottom2』 『MSX0 Stack』のみ (Stack の意味とは…) 『Faces II Bottom』か『M5GO Bottom2』を組み合わせていれば『Charge Base』に載せて充電する