520gのWindows XPマシン http://www.vaio.sony.co.jp/Products/UX1/
↓1世代前のシリーズ SONY VAIO Uシリーズの新作超小型Note?PC。
写真で見る「VAIO type U」【PC Watch】 http://pc.watch.impress.co.jp/docs/2004/0511/sony.htm
続きから。 zenn.dev 値オブジェクト 特徴は以下: 不変に保つことができる 値同士が等しいか比較できる 副作用がない 以下を実装した: import isEqual from 'lodash/isEqual'; export class BookId { private readonly _value: string; static MAX_LENGTH = 13; static MIN_LENGTH = 10; constructor(value: string) { this.validate(value); this._value = value; } private valid…
お久しぶりです,トモニテ開発部でSoftware Engineer(SE)をしている鈴木です. 私が普段実装しているトモニテ相談室のフロントエンドはTypeScriptを採用しているのですが,トモニテ相談室の実装中にTypeScriptでは検出することが出来ないミスをしてしまい,原因解明までに時間を要した経験があります. この経験からTypeScriptを普段より少し型安全にする手法を学んだので,本記事で具体例を交えながら紹介させていただこうと思います. はじめに TypeScriptは型を区別するための方式として構造的型付けを採用しています. したがって,type宣言子による宣言は単に構造に…
mysqlのinformation_schema.tablesによるテーブルサイズの表示 - 改 - end0tknr's kipple - web写経開発 以前の上記entryにある通り、mysqlでは information_schema.tables に対しての select sqlで取得できますが、 sybase db の場合 select convert(varchar(30),o.name) AS table_name ,row_count(db_id(), o.id) AS row_count ,data_pages(db_id(), o.id, 0) * (@@maxpages…
メモ:全 Temporal Table を無効化するクエリ - お だ のスペース をテーブル削除まで含めてスキーマ対応したやつ。 依存関係無視してるので、全部 drop されるまで連打してください。 ※段々消えてって最終的に全部 drop される is_ms_shipped = 0 の条件入れたので、SQL Server のシステムテーブルは消えないはず。*1 declare @sql nvarchar(max) select @sql = concat(@sql, N'alter table ', schema_name([schema_id]), '.', [name], N' set …
はじめに hacomonoのIoT部マネージャーの岩貞(さとちゃん)です。 最近hacomonoの影響もあってか、サウナにちょっとずつハマっています。 友人の結婚祝いで名古屋に行くことがあったので SENSE sauna 行ってきました。大衆浴場のサウナしか行ったことがなかったので、小スペースで友人だけと会話しながら入れるサウナはすごく良かったです。 良いサウナ場をこれからも探そうと思います笑 今回の話 技適がついに通ったラズパイ5。少し静観してたのですが、スイッチサイエンスに4GBモデルの在庫があるということでIoTのSW開発メンバーを中心に研究開発目的で購入してお配りしました。 あわせて自…
Angenieux(アンジェニュー)は1935年にフランスのサン=テアンで誕生しました。社名ならびにレンズ名のAngenieuxは創業者のPierre Angenieuxに由来し、レンズにはP.Angenieuxの文字が刻まれています。 Angenieuxは創業当初、主に業務用シネレンズの受注販売をしていたようです。実際にシリアルナンバー15000以下のレンズを市場で見かけるのは極稀で、戦争の影響もあり現存しているモノは少ないのではないかと考察できます。 AngenieuxはErnst Leitz Gmbh Wetzlar. 製造のレンズとは方向性が異なり、儚く写ります。Ernst Leitz…
環境 実行 準備 推論 結果 ログ 環境 L4 GPU(GPU RAM 24GB) 実行 モデルをロードしてから、推論を実行します 準備 # llama.cppのmixtralブランチをクローン(mergeが済んだら「-b mixtral」不要) !git clone -b mixtral https://github.com/ggerganov/llama.cpp %cd llama.cpp !make #!make LLAMA_CUBLAS=1 #GPUオフロードする場合 # モデルのダウンロード(Q4_K_M-GGUF) !wget https://huggingface.co/TheB…
この記事はScala Advent Calendar 2023の12日目だ!Scala 3のマクロを書く上で役に立つ, メタれたTipsたちを紹介するぜ! 勢いに任せて書いていくからサンプルコードがちゃんと動かなかったらごめんな. 一応, Scala 3.3.1を想定しているぞ.
ずいぶん前からSi4732/35チップを使ったエアバンド受信機を作ろうとしています。Si4732/35チップを手掛ける前に、マルタ島のJasonさんが回路設計し、Arduinoのスケッチは共同設計したR909(TA2003を2個使い+Si5351a局発)で色々勉強しました。そのR909回路方式から影響もあり、Si4732を使うエアバンド受信機の構成はTA2003ミキサー、親ラジオSi4732と言うことになりました。 The new airband radio configured with Si4732&TA2003&Si5351a is depending on R909 design. R…
数年運用しているシステムの開発DB(SQL Server)の動作が怪しい部分があったため、DBを利用するミドルウェアの開発元に問合せたところインデックスの再構成を試してほしいとの依頼が。しかし、現時点でSQL Server Management Studioの「データベース」のツリーが表示されない状態(恐らくデータベースの1つが破損しているか管理情報が壊れている……)のため、SQL文で処理する必要があります。ちょっと検索したところ、ASCIIのサイトで良さげなSQLが紹介されていたので利用させてもらいました。ascii.jpインデックスの断片化率などを一覧にし、さらに、パーセンテージに応じて「…
自作アウト・オブ・オーダRISC-Vコアについて。 幾つか改造して、整数側の物理レジスタのサイズと、浮動小数点側の物理レジスタのサイズを変えることができるように変更した。 localparam XPR_FLIST_SIZE = XPR_PRF_SIZE_PER_GRP; localparam FPR_FLIST_SIZE = FPR_PRF_SIZE_PER_GRP; localparam XPR_RNID_SIZE = XPR_FLIST_SIZE * DISP_SIZE + 32; localparam XPR_RNID_W = $clog2(XPR_RNID_SIZE); localpa…
Formula、ではなく、寧ろFuture、未来を見据えた試作機。 F90、それは次世代選考MS評議会に提出された海軍戦術研究所、Strategic Naval Research Institute(S.N.R.I=サナリィ)による機動兵器(MS)で長らく正規MSの開発生産を維持し続けていた民間の軍事開発会社だったA.E. (Anaheim Electronics)に取って代わる性能を評議会で示したのだ。 F90の特徴は今まで性能向上や長距離推進と継続任務維持のために巨大化し続けてきたMSに対して高性能且つ、小型化に成功した機体だ。 最大の特徴はあらゆる戦局に対応できるよう追加武装を安易に行え…
2003年5月 頃購入発売日にヨドバシに行って全額ポイントで交換で購入。あっというまに初期ロットが売り切れてその後すぐに発売停止になった。コストが合わなかったのか製造が面倒すぎるのかどっちかかなあ。 その後出た type U もモバイルマシンとしては使えそうだったし、キーボード付きギミックとしては私がいかにも手を出しそうなマシンなんだけど何故か手を出さなかった。なんでかなあ。理由が思い出せない。 さすがにこの大きさでは立ったまま手で持ってタイプするのは難しい。寝床PCや旅行時に落ち着いたところでのメモ書きとしては使ってた。分厚すぎるがサイズは頃合いでもう少し薄くて(34.1mm)軽かったら(8…
[G-tiamo] [ジーティアモ] 半袖 T シャツ レディース カットソー トップス ショート 丈 無地 スクエア シンプル カワイイ おしゃれ 透け 薄手 短め デコルテ 胸元 セクシー 半 そで 肌 見せ へそ 出し 着痩せ 可愛い 黒 大きい サイズ 春 夏 小さめ 小さい 大 小 かわいい オシャレ (L, ホワイト) G-tiamo Amazon Tシャツ・カットソー シャツ ブラウス ワイシャツ チュニック タンクトップ キャミソール チューブトップ・ベアトップ その他トップス PR Futier Land [冷感接触/上品サマーニット]Vネックフレンチスリーブトップス 1,9…
ヤングアニマル Web に数学ゴールデンがあった (https://younganimal.com/series/a2c408d4be5da/) ので読んだら鳩の巣原理が出てきて、証明できそうだったのでやってみた。有限集合の濃度の不等号を仮定に単射が存在しないことを示す方針、本質は単射から濃度の不等号を導く部分っぽい (A.card ≤ B.card を証明する部分)。Classical.choice が混ざってしまっている。 import Mathlib.Data.Finset.Card open Finset theorem pigeonhole { α : Type u } { β : …