INF

1987年韓国は大変な年でした（R6.10.5）｜荒木和博ARAKI, Kazuhiro 「1987年の韓国」で一番大きな出来事は「民主化宣言 - Wikipedia」でしょうがそんな事が拉致問題と何の関係があるのかと心底呆れます。 なお、荒木も一部は動画内で触れていますが、当時の韓国、日本及び世界での出来事について、ウィキペディアを紹介しておきます。 民主化宣言 - Wikipedia 1987年6月29日に、韓国の盧泰愚大統領候補（民主正義党代表委員）が発表した政治宣言。 【内容】 大統領直接選挙制の導入と、金大中、金泳三ら反体制派政治活動家の赦免・復権を骨子とした。7月1日、全斗煥大統領…

中国との対話は可能なのか 中国への圧力よりも対話を望む左派メディア 左派メディアはよく、戦争反対を声高に主張する傾向があることはよく知られる。しかし、中国のような、周辺国に軍事的圧力を強める覇権主義国家が相手の場合はどうしたらよいのか。左派メディアによれば、対話と圧力のバランスが大事なのだとか。 少し古い記事だが、朝日新聞でこんな社説が出た。 「（社説）中国軍との緊張 力の誇示よりも対話を」（朝日新聞 9/30） 中国が9/25に、訓練の一環として、ICBM（大陸間弾道ミサイル）を太平洋上に飛ばしたことに関する社説だ。基本的には中国の挑発に対して反発する論調となっている。社説の最後には、中国が…

はじめまして、Optimal Biz DS Windowsチームの今別府です。 DS Windowsチームといえば以下の記事で記憶に新しいかもしれませんが、こちらの移行の関連でWindows Agentのビルドに関わるその他の環境も進化しつつあります。 tech-blog.optim.co.jp 今回はWindows Agentのビルドに関わるものとして、コードサイニングに関する環境の構築を行ったので記載していこうと思います。 はじめに コードサイニングとは、世の中に対して頒布するプログラムに対して、電子証明書を用いて署名する事によって、そのプログラムが確かにその発行者によって作成されたもので…

TechFUL Coding Battle ～2024年9月回～ の解説です。 後ろ $6$ 問全部難しい気がするんですけど... すごく解説を書くのが重くて、かなり雑に書いたので、不明点があればツイッターなどで都度教えてください。 07 - degree sequence of partition 問題 正 $N$ 角形に対角線を $N - 3$ 本交わらないように引きました。 $N$ 角形の頂点を時計回りに頂点 $1, 2, \dots N$ とします。 長さ $N$ の数列 $d$ が与えられます。頂点 $i$ の次数が $d_{i}$ であるような引き方が存在するか否か判定してください…

水卜麻美さん衣装情報です。 「ZIP」「午前0時の森」「有吉ゼミ」などのテレビ番組出演時に、水卜アナ (水トちゃん) が着用していた衣装を一覧で紹介します。 ※今日の衣装を毎日速報でお届けします！

最近浮動小数点数演算器を作っているので、作るときのポイントを忘れないようにメモしておきたいと思います。 以下の全4回で書いていく予定です。 最近接丸めの浮動小数点数加算器の作り方（今回） 最近接丸めの浮動小数点数乗算器の作り方 RISC-Vの規格に従った（つまり、IEEE754規格にも従った）浮動小数点数積和演算器の作り方 RISC-Vの規格に従った浮動小数点数除算・平方根両対応演算器の作り方 コード 以下の74行のVerilog HDLコードで、x86の行う最近接丸めの浮動小数点数加算と同じ結果が得られるはずです。 メモ：これを書いたのは2022/10/06で、3cycleパイプライン化した…

MathJax.Hub.Config({ TeX: { equationNumbers: { autoNumber: "AMS" } } }); 本記事は機械学習による区間予測入門シリーズの2記事目です。他記事へのリンクはこちら: 1. 機械学習による区間予測入門 ①: はじめに 3. 機械学習による区間予測入門 ③: Conformalized Quantile Regression (WIP) 4. 機械学習による区間予測入門 ④: 予測区間の評価指標 (WIP) 5. 機械学習による区間予測入門 ⑤: 実装例 (WIP) 目次: 確率変数の分位点とその推定方法 分位点とは 分位点の推定方…

LIS。鉄則本の問題なのでコードのみ。 問題へのリンク 問題概要 長さ の数列 の LIS の長さを求めよ。 制約 コード #include <bits/stdc++.h> using namespace std; const int INF = 1 << 29; int main() { int N, res = 0; cin >> N; vector<int> A(N); for (int i = 0; i < N; i++) cin >> A[i]; // dp[v] := A から長さ v の IS をとったときの、最終項の値の最小値 vector<int> dp(N+1, INF);…

最近OCamlという言語でプログラミングの勉強をしている。↓の素晴らしい本を読んでいる。 *1" title="プログラミングの基礎 *2" /> プログラミングの基礎 *3 作者:浅井 健一 サイエンス社 Amazon 日本はOCamlほかML系言語の研究者がけっこういて、本やネット上の解説が充実している。助かる。MLというのはMeta Languageの略で、大計算機科学者のロビン・ミルナーの研究に端を発する言語である。OCamlもこの流れに位置する。 MLは多相型システムというのを持っている。これはジラール先生が開発したシステムFという論理体系とカリー=ハワード的な対応を持っている、とご…

朝起きたら、EZUSBのドライバが消えていた。 土曜日一日潰して復旧。アプリ本体の再インストールでも、infファイルのインストールでもどちらもダメ。 他のPCに挿したら動いたので、本体でなく、PC側がおかしいことを切り分け。 「PC（Win11）の復元」機能でもダメ。 別バージョンのインストールや、アプリ削除、ドライバ削除、再起動、でも一旦はダメだったのだが、数回、これを繰り返していたらいつのまにかドライバ一覧にCypressが現れた。 結局、理由が分からなかったので、なんとももやもや、、、。 以下の写真（スクショ）は全て正常時のもの。 どうして治ったのかわからず、、、、 全部で二つある、Cy…

これは、なにをしたくて書いたもの？ MicroProfile JWT Authというものを、1度試しておきたいなということで。 WildFlyとKeycloakを使って試すことにします。 MicroProfile JWT Auth？ MicroProfile JWT Authのページはこちら。 eclipse/microprofile-jwt-auth 現在のバージョンは2.1です。 そもそもなのですが、この仕様はなんという名前が正しいんでしょうね？ Eclipse Foundationのページを見ると、MicroProfile JWT AuthもしくはMicroProfile JWT Aut…

最近はACは休日しかやってないのですが（平日INFも最近は全然できてないですが…）、昨日は研修帰りに時間があってゲーセンも一応空いてたので打鍵してきました。ただ空いてるのは1台だけ、空いてた1台はボタンがハマる…。ハマるのに気付いているのならメンテを頼んでほしいものです。で、昨日は夜打鍵だったし休日前だったので混んで来たら切り上げようと思って6クレだけ。今日は土曜なのでいつも通り朝から。それなりの成果はあったように思います。 9/27の成果(@AC) 桜(DPA) EASY→CLEAR：12.1 Resonant(DPA) FAILED→EASY：12.3,★??? 9/28の成果(@AC) …