forest1040のブックマーク (3,349)

  • Python + VSCode の環境構築 20240604

    作業メモ。モダン Python 速習。 AI 周りのツールを動かしていたら TypeScript だけでやるには無理が出てきたので、久しぶりに Python の環境構築をする。 具体的には TestGen LLM を動かしたい。 Python はたまに触るけど、基 2.x 時代の知識しかない。 基的にこの記事を読みながら、細かいアレンジをしている。 基方針: Rye に全部任せる 良く出来てると噂に聞いたので、 rye に任せる。 自分が Python が苦手な点は pip を下手に使うと環境が汚れていく点で、基的に rye で閉じて管理させる。システムの Python には指一触れさせない。 MacWindows (WSL) で同じものをセットアップしたが、とくに環境差分はなかった。 プロジェクトのセットアップ rye initプロジェクトを作って、そこで作業をする。

    Python + VSCode の環境構築 20240604
  • 「東大生は優秀ではありませんでした」生活保護世帯から数学者になった男が感じた同級生との強烈な“ずれ”とは…「この事実に私は落胆し、怒りを覚えました」 | 集英社オンライン | ニュースを本気で噛み砕け

    生活保護世帯から東大を目指したR.Shimada氏の青春時代は、周囲との差を否が応でも意識せざるをえないものだった。 「東大を志したのは15歳のときです。地元でトップの公立進学校へ進学したものの、そこでも私のスタンスは理解されませんでした。 たとえば修学旅行へ行くためには、10万円という金額が必要でした。アルバイトなどで工面するにも相当数の時間を必要とするため、勉強時間を削ってまで参加する意義を見いだせず、行かない選択をしました。あとから聞いた話では、『ガリ勉だから修学旅行も来ない』と言っていた同級生がいたとか。 このように、他の同級生と抱えている事情が違うことを理解していたので、当時から自分も同じ高校生でありながら、『まだ彼らは高校生だから』と思うことでやり場のない怒りを逃がしていました。もちろん、恵まれた環境にいながらそれに無自覚な同級生たちを憎んだこともあります」 参加しなかった修学

    「東大生は優秀ではありませんでした」生活保護世帯から数学者になった男が感じた同級生との強烈な“ずれ”とは…「この事実に私は落胆し、怒りを覚えました」 | 集英社オンライン | ニュースを本気で噛み砕け
  • 強迫観念駆動人生へ愛を込めて - しんぶんぶん

    はじめに 自分は最近までかなり強迫観念に囚われて生きてきたのですが、最近それが薄れてきて今までの生き方を俯瞰的に見れるようになったので、いったん文章をしたためてアウトプットしておきます。かなり雑多な文なので読みにくいかもしれません。 共感を呼ぶような生き方ではないので、こんな人もいるんだなくらいで読んでください。共感してくれる人がいたら頑張って生きていこうなという気持ちです。 強迫観念駆動人生 自分は以下のような強迫観念を最近まで抱いていました。 何者かにならないといけない 何か大きいことを成し遂げないといけない 常に手を動かし続けないといけない 無駄なことをやっている暇はない 技術をやらないと死ぬ 技術的に価値のない自分に生きている価値がない 強迫観念はどこからきたのか そもそも強迫観念には、環境や人などの外的要因と、自ら植え付ける内的要因があると思っています。 外的要因 まず自分の外的

    強迫観念駆動人生へ愛を込めて - しんぶんぶん
  • 大規模言語モデルの開発

    2024年度 人工知能学会全国大会(第38回)チュートリアル講演1 講演では、大規模言語モデルの開発に必要な基礎および最新動向を概観する。その後、東京工業大学情報理工学院の岡崎研究室と横田研究室、産業技術総合研究所の研究チームで開発された大規模言語モデルSwallowの開発経験を踏まえ、学習データの構築、モデルの学習や評価などを説明し、日語に強い大規模言語モデルの現状や課題を議論したい。

    大規模言語モデルの開発
  • 初代「ドラゴンクエスト」の取扱説明書を読み返してみる。“日本のRPG夜明け前”に,どんなゲームで,どう進めたらいいかを丁寧に説明

    初代「ドラゴンクエスト」の取扱説明書を読み返してみる。“日RPG夜明け前”に,どんなゲームで,どう進めたらいいかを丁寧に説明 ライター:大陸新秩序 カメラマン:愛甲武司 日(2024年5月27日)は「ドラゴンクエストの日」。今から38年前の1986年5月27日に,ファミリーコンピュータ用ソフト「ドラゴンクエスト」(以下,DQI)が発売されたことを記念する日だ。 ドラゴンクエストシリーズは,これまでにナンバリング11タイトルと,多数のスピンオフタイトルを展開してきた。言わずとしれた日RPGの代表的存在だ。 DQIが発売された1986年当時,すでにPC向けのRPGは,海外産はもちろん国産も存在し,ゲーマーやゲームクリエイターから注目を集めていた。 だが一般的にはメジャーと言えないジャンルだったし,そもそもプラットフォームであったPCを個人的に所有している人は限られていた。そんな時代に

    初代「ドラゴンクエスト」の取扱説明書を読み返してみる。“日本のRPG夜明け前”に,どんなゲームで,どう進めたらいいかを丁寧に説明
  • pyenvを初心者に薦めるのはもうやめよう - methaneのブログ

    Pythonのパッケージ・プロジェクト管理ツールはまだ乱立状態にあって、どれを使えばいいのかわからないから慣れたpyenv+pipを使おうという判断をする人がいるかもしれない。その判断自体は別に否定しないけれども、初心者に教える時にpyenvを教えるのはもうそろそろやめてほしい。 Pythonをソースからビルドするので、コンパイラや依存ライブラリを事前に揃えないといけない。依存ライブラリが足りないと中途半端なPython環境もできうる。 デフォルトで最適化オプション(PGO+LTO)が付いてないので、最適化ビルドしたPythonより~5%程度遅い Windowsで使えない Rye, pdm, Hatch などは python-build-standalone と呼ばれるビルド済みPythonをインストールする機能があるので、これらの欠点が存在しない。 Pythonをインストールするところま

    pyenvを初心者に薦めるのはもうやめよう - methaneのブログ
  • 英語が話せるようになったターニングポイント|tsuemura

    TOEIC600点、多少読めるが書けないし話せない状態で英語公用語の Autify という会社に飛び込んでもうすぐ5年が経つ。なんだかんだで英語で話すのにも慣れてきて、いきなりスピーチを求められても何とか話せる程度にはなってきた。 喋れるようになったのは端的に会話量によるものなのだが、少し振り返ってみると自分の中でグッとコツを掴んだタイミングがいくつかあったように思う。備忘代わりにざっとまとめてみる。 友達が出来た入社してしばらくはまだ日人しかいなかったので、実際におれが初めて会社で英語を使ったのは、たまたま面接に来ていたインドネシア人のAdamに話しかけたときだ。彼が入社するなら、遅かれ早かれ喋ることになるのだから、早いうちに話しかけた方が良いだろう、みたいなことを思った気がする。 結果としては、"Hello, my name is Takuya…" と言った後、15秒ぐらい沈黙が続い

    英語が話せるようになったターニングポイント|tsuemura
  • 会社が天引きした税金を納付してなくて俺に督促状が来た話(1)|よんてんごP

    これ、泣く子も黙る◯国◯ータバ◯クの冊子なんですけど、これよんてんごPさん @yontengoP のことでは…? pic.twitter.com/hfo1bp9Ktq — とも(智乃介) (@joytrain_tomo) December 21, 2023 ▲実際に◯国◯ータバ◯クの冊子にも載ったらしい なお、内容については正確を期して記載しているつもりだが、会社側の実態や事実関係の把握ができていない部分、 あるいは身バレやら諸般の事情も相まって一部はボカシて書いていたり、フェイク要素が入っていることもあるが、その点はご了承いただきたい。 だが、少なくとも「会社が納付すべき税金を完全に忘れてたうえ、そのカネを天引きしていた」という大前提は、一ミリも揺るがない事実である。 ※今後の記載予定の暫定的なタイトルが以下。 全6回で完了する予定だが、場合によっては前後するかもしれない。 ・ある日、見

    会社が天引きした税金を納付してなくて俺に督促状が来た話(1)|よんてんごP
    forest1040
    forest1040 2024/05/26
    “あの人、私がいないとダメな人だから…”
  • 中国の軍事演習が完全に異常。台湾を完全に包囲していて、台湾国防部は陸海空軍を派遣→ウクライナもこういう空気からいきなり開戦したから油断できない

    しがらきの船乗り @yg9tmp 始まったら真っ先に起きるのは ①海上民兵の陽動攻撃、金門島を含む中国土よりの台湾領土制圧 ②兵站維持の為、台湾海峡の制海権制空権の奪取 ③東海・南海・潜水艦隊による海上封鎖や基地ライフライン破壊 ④1と2が成功しかつ維持したまま台湾侵攻や国防動員法に基づいて契約した民間船による輸送 でもどの道、 米国介入前の短期決戦か、核ミサイルチラつかせながらの周辺国へ恫喝しかない そのためには日に住む親中、在日、売国奴、反米基地派による撹乱工作は最重要 だけど事前準備を失敗し、短期決戦から泥沼へひ引きずり込んだウクライナ戦争を見ているから。 正面(戦争)と裏口(謀略)を同時に行わない限り勝つ見込みはない 2024-05-25 00:00:03

    中国の軍事演習が完全に異常。台湾を完全に包囲していて、台湾国防部は陸海空軍を派遣→ウクライナもこういう空気からいきなり開戦したから油断できない
  • 「Winamp」のソースコードが9月24日に公開へ/かつて一世を風靡したWindows向けのメディアプレイヤーアプリ

    「Winamp」のソースコードが9月24日に公開へ/かつて一世を風靡したWindows向けのメディアプレイヤーアプリ
  • 最近ローカルLLMがアツいらしい

    最近、ローカルLLMがアツくなっているという話をtwitterでチラホラ見かける。 ローカルLLMって何じゃ?というと、オープンに公開されているモデルのウエイトをDLしてきて手元のPC上で推論させる事である。 オープンなAIモデルとは逆の存在として、モデルがDLできないクローズなAIモデルもある。 OpenAIやAnthropicのような最先端AI企業のクローズなAIモデルに比べて、オープンに公開されているオープンなAIモデルの性能は今でもかなり後れを取っている。 だから去年の間はあくまでAI命はChatGPTのようなクローズモデルであって、オープンなAIモデルなんて眼中にありませんみたいな風潮が無くはなかった。だが最近は風向きが少々変わってきている。 GPTのAPI高い問題 & OpenAIAIベンチャー皆殺しにしてしまう問題 まず「結局GPTのAPIを叩いてサービス運営して成功し

  • わかりにくい線形代数を操作可能な図で表現することで簡単に理解できる無料の教科書「Immersive Math」

    「Immersive Math」は、数学のうちベクトルや行列などの計算を研究する分野である「線形代数」についてインタラクティブな図を用意することでわかりやすさを向上させた無料の教科書サイトです。 Immersive Math https://immersivemath.com/ila/index.html サイトのトップページはこんな感じ。「完全にインタラクティブな図を備えた世界で最初の線形代数」と述べられています。 中央に表示されている三角形の図はインタラクティブで、左上をクリックすることで回転・停止を切り替えられるほか、各頂点をクリックしてドラッグ&ドロップすることで位置を調整可能。自由に図を編集できるため理解しやすいというわけです。 ページをスクロールすると目次が現れました。まずは「Preface(序文)」をクリック。 「『百聞は一見に如かず』という言葉の通り、たくさんの言葉を重ね

    わかりにくい線形代数を操作可能な図で表現することで簡単に理解できる無料の教科書「Immersive Math」
  • 手の機能を拡張する「第3の親指」

    2023年3月10日の記事を編集して再掲載しています。 使いこなせたら楽器の演奏もできちゃう。 もっと便利に作業や暮らしができるよう、ロボットアームを背負って使える腕を増やそう! という研究がこれまでにいくつもありました。 中には触手みたいにウネウネ動くものや、鉄球ハンドで壁をブチ壊すもの、4腕でアシュラマンのようになるタイプもありましたよね。 アームだと不器用ウェアラブルなアームはいろんな方向に曲がって振り回すことが出来ますが、どれも細かい作業には向いていないようです。でも、3つの関節で曲げたり伸びたりするだけの小さい指だったら? アームより制御しやすく、今以上に器用な作業が可能になるようです。 第3の親指、誕生オーグメンテーションデザイナーのDani Clode氏が3D印刷で作った「 THE THIRD THUMB 」は、直訳すると「第3の親指」。 人間には左右で合計2の親指があり

    手の機能を拡張する「第3の親指」
  • 【2024年版】WSL2+Ubuntu24.04+Docker+GPUでつくる機械学習環境

    はじめに WSL2Windows Subsystem for Linux 2)は、Microsoft Windows上でLinuxカーネルを直接実行できるようにする機能です。 この記事ではWSL2環境にDockerを導入しGPUを用いた機械学習環境を構築する手順を紹介します。 構築イメージは以下の図の通りです。NvidiaGPUを搭載したマシンにWSL2環境を構築します。Dockerを用いてコンテナを用意し、CUDAは各コンテナ内のCUDA Toolkitを用いて利用します。 今回開発するPCのスペックは以下の通りです。 Windows 11 Windows version: 22H2 GPU:NVIDIA Geforce RTX 3060 12GB 設定 1. WSL2を有効化 デフォルトではWSL2環境が無効化されている可能性があるので、始めに有効化しておきましょう。 「コントロール

    【2024年版】WSL2+Ubuntu24.04+Docker+GPUでつくる機械学習環境
  • 「博士課程に行ってみたい」という社会人の方への長い手紙。|今井悠資

    そろそろ博士課程の振り返りをしようと思って、これを機にnoteを書いてみることにしました。最初の記事としては相応しいのではないかと思って。 ※記事は2023年6月に書いたものです。文中にAIを使うことについての記述がありますが、LLMの進歩は目覚ましいものがありますので、お読みになっている時点の状況に応じて読み替えていただければと思います。なお、私はAIは適切な用法を理解して使う上では非常に有用だと考えています。 おかげさまで2023年3月に博士号を頂くことができました。謝辞にも書いたのですが、当に多くの方にお世話になってここまで来ることができました。お名前を上げだすとそれだけで稿が埋まってしまうので畏れ多くも割愛させていただきますが、改めて感謝申し上げたいと思います。 さて、何年も社会人博士を名乗ってきたせいで「私も博士課程に興味があるのですが」と相談をいただくことがたびたびありま

    「博士課程に行ってみたい」という社会人の方への長い手紙。|今井悠資
  • AWS LambdaをDocker化する際の注意点と学びの備忘録 - Qiita

    はじめに AWS Lambdaを使ってデプロイするときに、 Dockerイメージを使って、デプロイしたいケースがありました。 すでに、動いているLambdaLambda Dockerへ変更する際に、 つまずきポイントがあったので、備忘録として、残しておきます Lambdaでコンテナイメージを利用とは? Lambdaには、通常のLambda(ソースコードのみを記述するタイプ)と Dockerイメージを利用するパターンが存在する ※Dockerイメージは、ECRから参照し、Lambda上で実行が出来る なぜDockerイメージを使うのか? 通常のLambdaLambda Dockerには、仕様の一部に違う部分が存在している 今回、Lambda Dockerを利用したいと考えたのは、 通常のLambdaよりも、大きいパッケージを展開できる為 ●Lambda 50 MB (圧縮、直接アップロー

    AWS LambdaをDocker化する際の注意点と学びの備忘録 - Qiita
    forest1040
    forest1040 2024/05/17
    LambdaとかECRで嵌るとすごくイライラするんですよね
  • 令和のHTML / CSS / JavaScriptの書き方50選

    Web制作技術は日々進化しており、会社やプロジェクトによっては昨今の環境に適さない書き方をしているケースも時折見受けられます。 そこで今回は「2024年のWeb制作ではこのようにコードを書いてほしい!」という内容をまとめました。 質より量で、まずは「こんな書き方があるんだ」をこの記事で伝えたかったので、コードの詳細はあまり解説していません。なので、具体的な仕様などを確認したい方は参考記事を読んだりご自身で調べていただけると幸いです。 1. HTML 画像周りはサイトパフォーマンスに直結するので、まずはそこだけでも取り入れていただきたいです。また、コアウェブバイタルやアクセシビリティも併せて理解しておきたい内容です。 Lazy loading <img>にloading="lazy"属性を付けると画像が遅延読み込みになり、サイトの読み込み時間が早くなります。

    令和のHTML / CSS / JavaScriptの書き方50選
  • データベースでユニークキーにUUIDを使うメリットは何ですか?連番やタイムスタンプまたは複合などではいけないのでしょうか?どうも視認性が悪く使いにくく感じますし連番でも衝突しない気もします。

    回答 (7件中の1件目) まずはUUID及びその対案として用いられる連番(自動採番)のメリット・デメリットを整理します。 (タイムスタンプキーや複合キーなどもその効率性から設計上有用なシーンはありますが、比較から除外します。) * UUIDを使うことのメリット * * データベースにSQLを送信する前からアプリケーションレイヤーでIDを生成できる。 * * トランザクション処理を実装しやすい場合がある。 * IDを推測しにくい。リソースが列挙可能ではない。 * UUIDを使うことのデメリット * * レコード・インデックスサイズが増加する。 * * ...

    データベースでユニークキーにUUIDを使うメリットは何ですか?連番やタイムスタンプまたは複合などではいけないのでしょうか?どうも視認性が悪く使いにくく感じますし連番でも衝突しない気もします。
    forest1040
    forest1040 2024/05/16
    キャッシュにのるかどうかは、データ量やメモリ量に依存するので、なんとも言えないと思う。 ヒットするデータが大量の場合は、インデックスを使わない方が高速なケースもあるし。
  • 日本政府はなぜ円安を放置しているように見えるのか?|Willy OES

    4月末に一時1ドル160円を超える円安ドル高を記録し、インフレを調整した実質実効レートで見る日円の価値は1ドル360円の固定相場だった1971年のニクソンショック直前を10%近く下回りました。為替の影響によるインフレも進んでおり、マスコミや一般人の間でも日政府の無策を批判する声が増えてきています。プロのエコノミストの中にも「日政府はあえて円安に誘導している」と考えている人もいます。しかし私から見ると、政策サイドとマスコミや一般人、エコノミストの間には大きな誤解が生じていると感じることが増えてきました。そこで、ドル円相場についてどう考えるべきなのか、私の見方を書きたいと思います。 為替レートを決定する理論為替レートは理論的にはどう決まるのでしょうか。結論から述べると、為替レートの変動を説明するまともな理論は存在していません。よく取り上げられる仮説は「購買力平価」「金利平価」「キャリート

    日本政府はなぜ円安を放置しているように見えるのか?|Willy OES
  • 「難しい数学や古文漢文ではなく金融経済を教えよ」という意見がたまにあるがそれをやってるのが商業高校なので商業高校へ進学すれば解決するのではないか

    ジツーニ・バ・カダーナ @old_keynesian 難しい数学や古文漢文ではなく金融経済を教えよという意見がたまにあるけど、それをやってるのが商業高校なので、現行のカリキュラム変えなくても商業高校へ進学すれば解決するんですよね。金融経済を教育せよ、しかし商業高校には行きたくない(行かせたくない)ということだとしたらなんだかなあと。 2024-05-12 02:29:52 ジツーニ・バ・カダーナ @old_keynesian 社会に出てから役に立つことを教えよというニーズに最も適合しているのが工業高校と商業高校なのだが、普通科に行けないから工業科、商業科に行くみたいな扱いになってしまっている。これはもったいない。工業科、商業科の地位がもっと上がるべき。 2024-05-12 02:42:33

    「難しい数学や古文漢文ではなく金融経済を教えよ」という意見がたまにあるがそれをやってるのが商業高校なので商業高校へ進学すれば解決するのではないか
    forest1040
    forest1040 2024/05/13
    火の玉ストレート