数学において、ある式を表すときに用いられる標準的な形式（の一つ）。 標準形は、式の意味と形式ができるだけ1対1対応になるように、記述方法を制限する。
例えば、行列のジョルダン標準形など。
この大会は2024/4/13 8:00(JST)～2024/4/15 8:00(JST)に開催されました。 今回もチームで参戦。結果は3112点で393チーム中46位でした。 自分で解けた問題をWriteupとして書いておきます。 sanity-check (misc) Discordに入り、#announcementsチャネルのメッセージにフラグが書いてあった。 bctf{sanitcheckcomplete} Annnnnnny Second Now (rev) Ghidraでデコンパイルする。 undefined8 main(void) { ulong uVar1; long in_FS…
● 今日のブログは、コーヒーブレイクです。通信制で学ぶ機会が増えていることを少し書いてみます。ちょうど新学期で忙しくなってきて、テーマデータを検索する時間が取れず、そうした記事が書けないので……（いつもこんな言い訳ばかりだね：通りがかりの訪問者） お時間があったらお付き合いください。 目次 1.FD研修でのこと 2.週刊ビジネス新書から 小学生向け塾「探求学舎」 N高等学校 3.おわりに 1.FD研修でのこと 私は、とある通信制大学の非常勤教員をしています。主な仕事は課題リポートの添削などです。そうした大学の教員は年に1度、FD研修を受けることになっています。（FD研修：Faculty Dev…
投稿日：2024.04.11 北海道を駆けた運炭列車！KATOより蒸気機関車「D51 北海道形」や「セキ3000（石炭積載）」石炭ストーブ搭載の車掌車「ヨ3500」などのNゲージが登場！Amazonで予約受付中！ Amazon.co.jpにて予約受付中のカトーの注目アイテム「Nゲージ D51 北海道形 2016-B 鉄道模型 蒸気機関車」「Nゲージ セキ3000 石炭積載 10両セット 10-1220 鉄道模型 貨車」「Nゲージ ヨ3500 北海道タイプ 8035-2 鉄道模型 貨車」など5商品をご紹介！ 引用元：北海道を駆けた運炭列車！KATOより蒸気機関車「D51 北海道形」や「セキ300…
貝の蓋が固く閉じているようなものなのだろう。 普段わたしはそのように内にこもって、だから往来で誰かから声を掛けられるといったことがない。 繁華街の客引きでさえ手をこまねく。 内で思念がむんむん蒸して、そんな様子が如実に伝わるのだと思う。 そんなやからに声は掛け辛い。 一方、家内はその正反対の性質を有している。 風通しよくなんでも受け入れ、だからあちこちで自然に声を掛けられる。 先日、仕事があって家内は奈良へと向かった。 その際、大阪駅のホームで法隆寺に行きたいというオーストラリア人のおばさんに声を掛けられた。 結果、快速電車で隣り合い法隆寺までの道中、楽しく会話を交わした。 おばさん宅にホーム…
並行論理プログラミングと半環 「論理プログラミング」では PLP と PLP+ というプログラミング言語を考えています。PLP は「Prolog について」のところで書いたような理想的な並行 Prolog です。PLP+ はこれの無限に実行できるバージョンなのですが、PLP が定義されていないので PLP+ も定義されていません。PLP+ はいったい何なのかというと、「素数を登録するプログラム」のようなものが書けるように Prolog を拡張したプログラミング言語を目指したものです。以下のような問題を考えます。 PLP は定義できるか PLP で論理式が証明できるかどうかを調べることができるか…
自分が勉強した本まとめ 数学科の学生だった私が、IT 業界に就職して機械学習エンジニアになった中で思い入れのある本や面白かった本などの紹介を書いていきます。 ジャンルとしては数学・統計・機械学習あたりをメインに、一部は物理やエンジニアやクラウド関連の書籍も紹介できればと思います。 学生時代の本（主に数学科の基礎的な本） 微分積分学（数学シリーズ） 難波誠 裳華房 微分積分学 (数学シリーズ) (数学シリ-ズ) 作者:難波 誠 裳華房 Amazon 最初に紹介する本は、難波誠先生の微分積分学。 大学の指定教科書だった。当時は、ε-δ に初めて出会い（最初は ε-N からだが）、その厳密さに大変感…
「Desperado」は、イーグルスの1973年のアルバムに収録されている楽曲です。ピアノとストリングスが特徴的なバラードで、孤独と自由を求める心情が歌われています。 www.youtube.com 曲の解説 文法の解説 (adsbygoogle = window.adsbygoogle || []).push({}); 曲の解説 「Desperado」は、アメリカのロックバンドEaglesによるソフトロックバラードで、1973年のアルバム「Desperado」に収録されています。シングルとしてはリリースされませんでしたが、Eaglesの代表曲の一つとなりました。この曲はGlenn Freyと…
これまで同値分割を信頼できる手法だと信じてきました。最近になってどうして同値分割が信頼できる方法なのかその理由を私が説明できないことに気づきました。この原因は2つあります： 同値分割の分割の基準が不明確であること 後述するいくつかの仮定を満たさない場合、ある同値パーティションの代表値の出力が正しければその同値パーティションの他の値の出力も正しいといえる根拠に乏しいこと この2つから、不明確な基準の同値分割はその信頼性の説明ができないこと、同値テストは後述するいくつかの仮定が満たされたときのみ有効な手段でありいずれかの仮定が満たされない場合はさして信頼できないことが導かれます。 この記事ではこの…
現地観戦しました サポーターのブログ 得点シーン 失点シーン 選手へのコメント 次節（金沢戦）は無料放送あり リンク集 現地観戦しました 今日はこの人。マルク・ヴィト。 「どこに蹴るか」の判断が上手い。前世は遠藤保仁だろう精度は100発100中とはいかないけど、ボールを取られる地点がいつも敵陣。エリアは取れる。長野はやりにくかったと思う。 気温は10度くらい。 風が強く、体感ではもっと寒かった。 前半の攻撃時です。 ものすごいハイライン。奈良のセンターバックがセンターサークルの向こうにいる。 ハイライン・ハイプレスで押し込んだ前半から エネルギー切れで守備に切り替えた後半。 60分まで（百田・…
この大会は2024/2/16 3:30(JST)～2024/2/18 3:30(JST)に開催されました。 今回もチームで参戦。結果は2679点で921チーム中38位でした。 自分で解けた問題をWriteupとして書いておきます。 Sanity Check (MISC) Discordに入り、#announcementsチャネルのメッセージを見ると、フラグが書いてあった。 BITSCTF{w3Lc0mE_70_BITSCTF-2024} baby-rev (REV) Ghidraでデコンパイルする。 undefined8 main(void) { size_t sVar1; long in_F…
一応整合させて概念の類を使いこなす形から議論用のことばの羅列を演じのけるならば、それなりの姿として玄人筋、というよりは標準形を保つことに人生を賭す脈々が、お見事と認知の方で受け止めてくれそうだ。 だから概念以前の状態として事象を改(あらた)めて整理する必要をだれかが感じた時、ちょっとした野心というか、多少は住み心地の良い住居も自らの資金によって建てたいし、そこでの家庭っぽい集団の営みにも人生を置きたいし、そのためには仕事場を確保しておきたいし、などなどが頭に浮かび出して、標準の問いへ標準の答え方、正解の類で応じることもイメージできるだれかたちにとっては、ちょっとよりはそれ越えの危ないかもの方で…
2024年に入って早々に大きな出来事が続いており不安だが、とりあえず去年の後半以降を振り返ってみる。 ・2023年で思い浮かぶ出来事は、やはり野球で日本が世界一になったり関西球団で日本一を争い盛り上がると言った出来事が浮かぶが、一方で海外での紛争で新たな悲劇があったりなど、混沌や緊張が高まる年にもなった。そんな中で決まった今年の漢字は「税」で、それら以外の出来事の補完な感じにもなってはいるが、個人的には上記の総称でいくなら「戦」かなぁと思う。とか書いてたら去年も「戦」だったけど。 ・前回の(1/2)でも書いていた中華イヤホン関係だが、そこから追加購入して使い分けを楽しめる程度になっている。個人…
本記事は「GitHub Copilot とのペアプロ TDD でつくるローグライク RPG」の書評です。題名にローグライクRPGとあるのでゲーム開発の本なのかなと思ってしまいますが、本題は仕様の端的な表現をもたないシステムを LLM を使って真っ当に開発する方法の解説だと思います。タイトルにローグライクRPGと書いていることでゲーム開発に興味のない人の興味を失わせてしまい損をしている気がします。 背景 最近の LLM の流行を受けて私も Chat-GPT や GitHub Copilot といった LLM を開発で利用しています。端的に仕様を表現できるシステムは LLM に質問して実装を得る方…
開発環境 VM→Docker SVN→Gitあんまり進化はない IDE Atom→VSCodeVSCodeクローンもあるようで。 統計解析の言語 Python、Rがとは言われるが、あまり大勢は変わらず。この辺り、実は統計解析→メディカルライティングとの絡みが発生するのであればもう少し進展があるかもしれない。 SDTMとADaMなんかの話を少し。 業界として、もう少しデータの標準形を整備する形で進んでほしいのだが、多分その頃には死んでるだろうなあ・・・・・・ dataset-JSONは面白い試みだと思うが、 JSON自体は規格化されているがJSONのメタ定義に関しては実はあんまり使われていないの…
タキ3241 形式タキ3000 日本石油株式會社 ガソリン専用 燃32 下松駅常備(鶴崎駅臨時常備) 大分 S55(1980)/9 タキ3000は昭和22年から1,594輛製造された30トン積ガソリン専用タンク車。タンクは台枠のまくら梁上部のタンク受台に乗り、帯金で締めつけられている。台車はTR41。 タキ19999 形式タキ9900 日本石油株式會社 ガソリン専用 燃32 根岸駅常備 鶴崎 S56(1981)/3 タキ9900は35トン積ガソリン専用車で昭和37年から41年にかけて546輛が製造された。異径胴タンク体と台枠の中間部分が無いフレームレス構造で独特なスタイルをしている。台車はTR…
u-site.jp
kriver-1.hatenablog.com
yo-kun.hatenadiary.org
manabitimes.jp
planck.exblog.jp
ja.wikipedia.org
w-kawara.jp
ja.wikipedia.org
ja.wikipedia.org
