サクサク読めて、アプリ限定の機能も多数!
トップへ戻る
円安とは
integers.hatenablog.com
旧知の仲である数学者 齋藤 耕太 氏(筑波大学、学振PD)が、昨日数学の未解決問題を解決したとするプレプリントをプリプリントサーバーarXivに投稿されました: arxiv.org 論文自体は「現状分かるところまで研究しつくす」という素晴らしい態度で執筆されているので主定理の記述は十行ありますが、その特別な場合をとり出した ミルズの定数は無理数である という定理(これは論文のタイトルにもなっています)が、ある程度長い期間未解決であったと思われる数学上の問題の解決を意味しています。 無理数性の証明はかっこいい 実数という数学的対象は有理数と無理数に分けられます。有理数は などのように という表示を持つ実数であり(ここでは自然数は正の整数を意味するものとします)、有理数ではない実数のことを無理数といいます。 高校数学でも証明込みで学ぶことと思いますが、無理数の典型例としては があげられます。こ
food.onarimon.jp
門前仲町にあります喫茶店「喫茶洋菓子みよしの」さんを紹介します。 外観・場所・アクセス ランチメニュー 和牛スタミナ焼き 食べログ情報 外観・場所・アクセス 場所は門前仲町駅3番出口より徒歩2分の場所にあります。表通りの隣には牛丼屋の松屋があります。 外観、内観ともにレトロな喫茶店の雰囲気です。店内は常連のお客さんも多いそうな感じでした。 ランチメニュー ランチメニューは日替わり?で変わっているようです。来店日は下記のようなメニューでした。 おかんカレー 和牛スタミナ焼き いわしハンバーグ 豆あじ南蛮漬け 銀鮭 さば塩焼 さばみそ煮 銀だら粕漬 銀だら煮つけ カレー、肉料理、魚料理と家庭的なメニュー感があります。 今回は「和牛スタミナ焼き」を注文。食後にアイスコーヒー、ホットコーヒー、アイスティー、紅茶付きです。 和牛スタミナ焼き しばらくして着弁。お弁当箱に入った珍しいスタイルで登場。メ
s-kita.hatenablog.com
レジストリキーの属性やエントリが変更されたことを検知するためには、RegNotifyChangeKeyValue関数を用いる。 RegNotifyChangeKeyValue関数は、レジストリが変更されたことをアプリケーションに通知してくれる。 RegNotifyChangeKeyValue関数のプロトタイプは、以下のようになっている。 LONG RegNotifyChangeKeyValue( HKEY hKey, // 監視するべきキーのハンドル BOOL bWatchSubtree, // サブキー監視オプション DWORD dwNotifyFilter, // 通知するべき変更 HANDLE hEvent, // 発生させるべきイベントのハンドル BOOL fAsynchronous // 変更の通知方法を示すフラグ ); dwNotifyFilterには、以下の値を組み合わせて通
drfridge.hatenablog.jp
今日は7月31日。今年もまた8月がやってきた。以前にも8月は特別の月だということを書いたことがあるが、毎年同じことの繰り返しにしても、私にとっては、8月はやはり特別な月である。 もともと子供の時から、8月は夏休みで学校を離れ、海水浴やお祭り、花火、旅行など多彩な行事が続く上にお盆があり、一年の中でも特別な月であったが、それらを超えて強烈な印象を作ってしまったのは「あの戦争」である。 もう78年も昔のことになってしまったが、今もつい昨年のことのようにさえ思われる。私の九十五年の生涯を振り返ってみても、あの敗戦の衝撃は今も鮮明で、その前後で私の人生の歴史はプッツリと断絶しているようなものである。 1945年、昭和20年の8月初めは、江田島の海軍兵学校生徒だった。7月25日の呉の大空襲で帝国海軍の全滅を見たのに続いて、8月6日の広島の原爆を体験し、9日には長崎の原爆投下を知り、いよいよ”最後の決
hikaru23.hatenablog.com
歳を重ねました。 これからも、 芝居は勿論、 ヴァンルージュ殿の様に、 可愛さやあざとさにも磨きをかけていきたいと思います(笑)。 うまく出来てたら、 ちやほやして下さい(笑)。
tech.newmo.me
newmoのCTOのsowawaです。はじめまして〜🚕 🚗 まず、最初にnewmoについて話したいと思います。 newmoはタクシーとライドシェアの会社として2024年に設立されました。 「newmo」は新しいモビリティの会社という意味で、new mobilityからnewmoと名づけました。 newmoでは、移動の問題を解決してみんなが自由に移動できる社会を作りたいと思っています。特に地域社会は移動に課題を抱えるところも多くなってきていて、好きなときに好きなところに行くことが難しいということも少なくありません。newmoではそういった課題を解決して、できるだけ多くの人が好きなときに好きなところに行けるようにできるといいなと思っています。同時に、地域で暮らす人たちが地域の交通の担い手として地域社会に貢献できるようにしたいと思っています。 そんな想いを込めてnewmoのミッションは 「移
allezvous.hatenablog.com
東京は家の中に文化がない 家の中で全部完結させたい人にとっては東京の家は物足りないけど、文化の外注をしてるだけと捉えればそんなにおかしくないんではないかな。なんせ家の中では揃わない文物が外にたくさんある 2024/04/30 21:55 b.hatena.ne.jp 珍しく日本酒をかっ食らってしこたま酔っ払った頭で適当に書いただけなのに、なんか共感なり反感なりをたくさん生んだみたいなんだけど、悪意を持って書いたのではないので言い訳をしておく。 これは、家の中に文化的な物品がなくても、アクセスのよい家の外にあれば、そんなに悲しむべき事態でもないと考えることができるよと言っているだけです。文化の消費者を馬鹿にしたり家の中に文物がない人を馬鹿にしたりする発言ではないです。 苦し紛れのブクマカの名言いただきましたw 「文化の外注」 美術館に美.. 申し訳ないけど家には絵も飾ってあるしピアノも置いて
findy-code.io
コンピュータの画面に表示されている情報を合成音声で読み上げるスクリーンリーダー。視覚障害者がコンピュータを操作するために欠かせないソフトウェアだ。西本卓也さんは、オープンソースのスクリーンリーダー「NVDA」の日本語対応を最初に始め、10年以上に渡って開発をリードしてきた。 アクセシビリティに関わるきっかけは、視覚障害のある方がパソコンを練習する教室と接点ができ、その流れで、視覚障害者のためのタイピング練習ソフトウェアの開発に携わったこと。 「プロダクトを作って、視覚障害のある方に使ってもらうというのは、私の中ではとても貴重な経験でした。そういう方々のお役に立てたのが嬉しかった」 その後、スクリーンリーダーを取り巻く状況が、世界と日本とで大きく異なることを知り、自ら手を動かすことになる。 「オープンソースのスクリーンリーダーに、日本語の読み上げを組み込んでみようとして、いろいろ頑張ってみた
tanaka.hatenablog.com
若干冗談のようなタイトルですが、本当のことです。2004年5月1日に株式会社はてなに入社して20年が経ちました。創業者近藤淳也を含めて5番目。創業時体制は3人だったので、その後の採用で2番目となる社員でした。 新卒の会社に約5年間在籍した後の転職でした。20年も続いたのかという驚きも少しあり、一方で正直なところ20年間という時間の長さや重みも少し掴みかねていもいます。少々実感に欠けているというか。致し方ないでしょう、多くの人にとって「勤続20年」イベントは人生で1回しか経験しないことだと思いますし。 コンサルティング業界からインターネット業界という異業種転職、またコードも書けない非開発者ということで、色々と下積みから勉強させていただいたり遊ばせていただきました。当時、インターネット業界は新興業界、誰しも促成プロフェッショナルとしてやるべきと意地になって頑張った自覚もありつつも、振り返ってみ
96歳ともなると、これまでに色々な景色に遭遇してきている。思い出してみると、多くは色々な場面での家族の姿、仕事上で出会した色々な場面、国内、国外の旅行で遭遇した様々な景色など、無数の光景が思い出される。しかし、そんな中で奇景としか言えないような、特別変わった、忘れることの出来ない景色を三つ挙げるとすれば、下記の三つということになるのではなかろうか。 1)1945年3月13日の大阪大空襲 2)同年8月6日の広島の原爆投下 3)血小板数低下による自らの両脚全体の点状出血 これらそれぞれについては、すでに書いているので委細は省略するが、先ずは、空襲の時には大阪市内の天王寺駅近くに住んでいたので、見渡す限りの黒い夜空から、一面に火が落ちてくる景色である。無数の焼夷弾が燃えながら、まるで花火のように、光り輝きながら落ちて来たのであった。見上げて、思わず一瞬、綺麗だなと感じたものである。 それがその後
www.nogawanogawa.com
最近RAGをいじっています。 www.nogawanogawa.com www.nogawanogawa.com www.nogawanogawa.com 大体評価周りに関して何したら良いかはわかってきた気がするので、今度は精度に関するトラッキングをしていきたいと思います。 というわけで前回までのRagasやLlamaIndexに加えて、今回はLangfuseを使ってみたいと思います。 Langfuse LlamaIndexを使う際の他のObserbability系のツール お値段 使ってみる まずはただ使ってみる Ragasの出力を記録する 使ったnotebook 参考文献 感想 Langfuse Langfuseは、OSSとして開発されているLLMエンジニアリングプラットフォームです。 langfuse.com Langfuse is an open-source LLM engine
techblog.enechain.com
はじめに 背景 タスクランナーを導入するモチベーション パラメータ管理ツールを導入するモチベーション 実現したいこと モデルや環境に依存しないタスクによるパイプラインの操作 共通部分と環境特有部分を分離したパラメータ定義 パラメータ定義の構造化 実装方法 利用するツール パラメータファイル 構造化パラメータのマージ処理の実装 おわりに はじめに enechain データサイエンスデスク エンジニアの藤村です。 enechainでは市場活性化を目的として、機械学習や最適化アルゴリズムを用いて電力や燃料などの商品に関する指標を算出し、社内外に提供しています。本稿では、これらを算出するモデルの構築・運用を効率化するために作成した、タスクランナーinvokeとパラメータ管理ツールhydraを一体化したシステムを紹介します。 背景 タスクランナーを導入するモチベーション 機械学習モデルの構築・運用に
bufferings.hatenablog.com
TDDを実践する中で身につけた「設計に関するスキル」があるなぁと思ったのでメモを残しておくことにする。TDDをやるときのスキルではなく設計をするときのスキル。 染み込んでいる TDDは以前に書いたように(ってもう7年も前か・・・)あんまり使わなくなっている。でも心の中にある。ウェブアプリケーションエンジニアとしての自分にとても大きな影響を与えている。 bufferings.hatenablog.com TDDから学んだ設計に関するスキル 3つ思い浮かんだ まずは動くものを作る 必要な分だけ作る 「ありえない」の処理を考える 注意 ウェブアプリケーションを書くときのことを考えながら書いている。ライブラリやフレームワークのようないろんなユーザーから利用されるものは、今回の話の対象ではない。 1. まずは動くものを作る TDDで実装を書くときは「キレイじゃなくてもいいからテストがグリーンになる(
nomolk.hatenablog.com
前回紹介したAliexpressで売られている小さい液晶の使い方、Raspberry Pi Pico編です。 0.96/1.14/1.28/1.3/1.54/1.69/1.9/2.0 inch IPS TFT LCD OLED Display Module for ardunio raspberry pi stm 改めてどんな液晶か見てみます。 左が2.0インチ、右が1.54インチです。 ↑2.0インチ。解像度は240x320ピクセル。袋に書いてある型番はMSP2008です。 ↑1.54インチ。解像度は240x240ピクセル。袋に書いてある型番はMSP1541です。 液晶の種類はIPS液晶です。いずれもST7789というコントローラを搭載、通信方式はSPIです。 Amazonでも似たようなのが1400円くらいで売られてますが、Aliexpressだと600円ほど(2インチの場合)なので激安
nejimakinikki.hatenablog.com
写真論から京都旅行まで 毎月恒例の読んで「ああ、よかったな~」と感じた はてなブロガーのブログ記事を紹介していく企画。 (※好き勝手紹介しているだけなので、反応とか大丈夫です) ・・・ということで今月分をざっと載せていきます。 filmmer.hatenablog.com 写真とSNSが一体になってしまったところから考え直していいかもしれないし、僕は写真とSNSを引き剥がす時期にきたんじゃないかと感じてる。 少なくとも写真に纏わりついてしまった「即時性」は引き剥がしていいと思う。 — toshyie (@VP_Analogue) March 19, 2024 わかる。 確かに、写真を撮ったら、 すぐに「インスタにあげようかな」なんて思っちゃいがちなので写真だけをしっかり撮ることに集中したい。 m-dojo.hatenadiary.com お気づきのように、この一四〇字の連続ツイートの内容は
最近RAGアプリケーションの評価やその管理ツールについて調べることがありました。 今回はRAGアプリケーションでの実験管理に使用できるPhoenixを使ってみたのでそのメモです。 RAGアプリケーションと評価 RAGアプリケーションの評価 Arize Phoenix 類似ツール 使ってみる Tutorial ローカルでの管理 参考文献 感想 RAGアプリケーションと評価 Retrieval-Augmented Generation (RAG)は、LLMに外部の知識ソースからの追加情報を提供することで、LLM自体が知らない知識を補い、より正確で文脈に沿った答えを生成するアプリケーションです。 大まかには下記のような流れで動作します。 ユーザーからのクエリをもとに関連するドキュメントを検索 (retrieve) ユーザーのクエリ、関連するドキュメントを含めた形でプロンプトを動的に作成 (Aug
ar-ray.hatenablog.com
もう2ヶ月前になってしまいますが、Apple製品を中古で2つ購入しちゃいました🍎📱 1つは Mac mini (M1 8GB RAM)、もう一つはiPhone 15 Proです。 iPhoneの方はスキャン試したいなーというノリでMacのついでに買いましたが、よく考えたらスマホの方が中古のMac3台分の価格するんですね🙃 初任給手取りが吹っ飛ぶレベルのスマホと聞いていたのですが、中古でもめっちゃ高かったです💸💸💸 この2台をクレカ一括で支払ってしまったので、明後日くらいにものすごい額が吹っ飛ぶ予定です。 もやし生活再開の機運…? 以前のPCでお小遣いを吹っ飛ばしたAr-Rayの記事↓ ar-ray.hatenablog.com ar-ray.hatenablog.com M1 Mac miniとは? M1 Mac miniはAppleが販売するミニPCシリーズであるMac mi
asukaze827.hatenablog.com
ふたり暮らし。思い込みの魔法。 食事制限中のクリスマス 10代の頃、クリスマスの前後はバレエの発表会があった。それが終わると年明けすぐにコンクールが控えていたため、世間の人がおいしいものを食べている年末年始に、私たちはつねにお腹を空かせていた。泣 ある年のクリスマス、リハーサルを終えて帰宅する途中でショッピングモールに寄った。何の用があったのか忘れてしまったけれど、友達の誰かが何か買いたいと言って寄ったのだと思う。クリスマスのモール内は家族連れでにぎわっていて、どこもかしこも可愛い物やおいしそうなものであふれていた。 フードコートの前を通りがかった時、一緒にいた友達のひとりが、急に「ミスド食べたい!」と言い出した。でも誰も相手にしなかった。普段から飢えていた私たちは、誰かが唐突に「あーーー〇〇食べたい!!」と叫ぶことにも慣れていて、一種の発作症状なのでほっとく癖がついていたのだ。笑 でもそ
arakannkoala.hatenablog.com
世間はあっという間にゴールデンウイークに突入しました。 テレビでは、毎度お馴染みの高速道路の渋滞の映像が流れ、コロナは遠くになった気がします。 リタイア家庭の我が家は、世間様がお休みの時は、お家で大人しくしていることに決めていますが、ゴールデンウイーク前日の26日、我が家から1時間ちょっとで行ける森林公園へ行ってきました。 🍀国営武蔵丘陵森林公園🍀 埼玉県比企郡滑川町にあるこの森林公園は全国で始めての国営公園で、東京ドームの約65倍の広さを誇ります。 最近ではネモフィラ畑が絶賛売り出し中?で、関東では有名なひたち海浜公園と共に紹介されることもあります。その他にも、大きなお花畑もあり丁度見頃を迎えているということで行ってきました。 一応下調べをしたところ、園内はとても広く公園中央口、西口、南口に大きな花畑があるので、中央口から入園し、レンタサイクルで移動することにしました。 11時前には
blog.takaumada.com
学生の方から「やりたいことがない」「行動を起こせるほど興味があるものがない」という質問のような相談が出てくることがあります。 そうしたとき、最近は「やりたいことよりも、むしろやるべきことを考えてみてはどうでしょう」「何かできるところから始めてみてはどうでしょうか」「自分の内面の中から探すのではなく、外に目を向けてみては」と伝えるときがあります。 その背景を少しだけ説明します。 答えはだいたい外にある スタートアップ向けの訓示の一つに、Get out of the building という言葉があります。建物の中でうんうんと考えていないで、ビルの外に出て顧客に会いに行け、という意味です。 頭だけで考えたビジネス仮説の多くは机上の空論であり、たいてい間違っています。だからビルの外に出て、顧客と話して検証したり、現場からより良い洞察が得ることが大事、というわけです。 同様に、自分のやりたいことを
rshindo.hatenablog.com
Spring Bootで初めてWebアプリを作ろうとすると最初につまづくのが「どういうライブラリ組み合わせればええんや…」というポイントなので、自分の中にある選定パターンをメモします。ここで説明するのはWeb層とDBアクセス層をどうするかという部分だけです。 あまり真面目な記事ではないので、ちゃんとした情報を知りたい人はSpring Academyとかを見るのが良いと思います。 マイ・パターン 灰色になっているのは仕事では使ったことのない組み合わせです。 Spring WebFlux + Spring Data R2DBC Spring初心者は無視して良いです。自分も使ったことがあるのはDBアクセスなしのWebFluxだけです。 Microservicesで言うところのAPI Gatewayだったりリバースプロキシだったり、特定のユースケースのときしか選択肢に上がりません。 Spring
次のページ
はてなブログ - 注目記事の人気エントリー
ITの新着エントリー
最新ガジェットの新着エントリー
自然科学の新着エントリー
経済・金融の新着エントリー
おもしろの新着エントリー
マンガの新着エントリー
ゲームの新着エントリー
はてなブログ(総合)の新着エントリー
このページを最初にブックマークしてみませんか?
『はてなブログ - 注目記事』の新着エントリーを見る
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く