2要素のタプルに限って利用することができる。 例
Hugs.Base> snd (1,'a') 'a'
ひとつ目の要素はfst 3要素のタプルではエラーになる
Hugs.Base> fst (1,'a',3) ERROR - Type error in application *** Expression : snd (1,'a',3) *** Term : (1,'a',3) *** Type : (c,Char,d) *** Does not match : (a,b)
▼ラジオ中の私のつぶやき 今日は酒井さんと山本さんか いつでもウェルカムなラジオ 中国共産党のもう先生 準急が止まるでおなじみもう中 恒例のおみや もうTHE中学生さん スタジオが廃品回収場みたい 湯呑みたいな顔してる酒井さんと山本さん 有中ガリクソンの話! ガリガリガリクソンのお誕生日 何故ふつうのバースデーソングを歌わないのか? もう中からガリちゃんへのプレゼント音色 もう中とガリちゃん同い年じゃないの!しかも誕生日近い! もう中カルタ発売の告知をしてくれる有吉パイセン やだ、ガリちゃん37歳だ!同い年じゃなかった(笑) 12個のお品書き ナイスワカサギ パプワくんのキーボード 関係ない早…
はじめに 結婚報告文の感想 有吉さんへ盲目状態 有吉さんとの思い出 有吉さんの魅力 笑顔と毒舌のコメディアン スターでありながら庶民的 膨大な知識量 どん底から這い上がる根性 物事の本質を突く言葉 不言実行の美学 週刊誌には一人散歩のみ 控え目な美学 全てを達観した仙人のような暮らしぶり 粋な計らい 最後に 有吉さん、夏目さんへの祝辞 はじめに 新社会人2日目。研修を終え、帰路に就く私はいつも通りTwitterを見て驚く。 「有吉弘行 結婚」 この言葉が与えた衝撃はあまりに大きすぎた。衝撃的すぎて、地下鉄内で割と大きめに、え?と声を出してしまった。新人研修で疲れていた私の体力はすぐさま回復し、…
朝からガレージで交換😊 なんせずっと雨☔ 今回もペングレードとSOD1を入れてみる👍🏻 前開SOD1を入れてかなりフィーリングが変わったからね😄 次回はアメリカオイルとして一度は入れたかったケンドルを使ってみようかと思ってる😊 前回オイル交換して1032キロ💨 10-40やとさすがにエンジンのクリアランスを埋めきれず少し燃やして減ってた😓 上が50あるとオイルの減りは全くなかったけど、SND1でもオイルの燃焼は 総走行距離😄 ほんまにGROM頑張ってくれとる😭 まだまだこれからも一緒に思い出つくるよ👍🏻 昼から雨が上がったので少し青野ダムをパトロール💨 曇り‼️の見本みたいな空☁️ かなりスム…
2024/03/24/日 はてな。 もくじ カープ・オープン戦終了 レジーナ レノファ 清盛まつり さよならコロナ 今日のももクロ(スタダ) 鈴木亜由子杯 穂の国 豊橋ハーフマラソン2024 春名真依・旅番組の向こう側 AMEFURASSHI 響け!ユーフォニアム3 『ヤマトよ永遠に REBEL3199』新規キャスト&キャラクター発表 13年前の今日。2011年3月24日に撮影された,爆発事故を起こした福島第一原子力発電所の3号機の空中写真。エアフォート・サービスの無人機によるもの。 pic.twitter.com/Z0gAD2D5sh — 渡邉英徳 wtnv (@hwtnv) 2024年3月…
■ジャンル■ DのD冒険(非公式・二次創作) ■CP■ マァポプ(今回の本はR18描写ありの未成年購入禁止です) …マがポの優位とってる感じの描写でイメージしてくだい✨(テーマ、シチュの指定ないです) マァポプ好きかも!実は好き!たしなんでないけど興味ある!描いてみたい!という方の作品を栄養として摂取させていただけるとSNDが大変幸福になります♡ R作品であってもなくてもOK大歓迎ですが、他のCPやキャラを下げるようなイメージのものはご遠慮ください(原作未成立CPの描写はトラブル防止のために禁止にさせてください) Rの場合極端&強度な性癖もの(グロ、スカT、猟奇、アヘ顔汚喘ぎ系など)は私の苦手…
リスト用の関数 length リストの要素数を返す sum リストの総和 product リストの総積 take リストの先頭 n 個を抽出 (例) take 2 [1,2,3,4,5] drop リストの先頭 n 個を落として抽出 (例) drop 2 [1,2,3,4,5] reverse リストを逆順にする map リストの全ての要素に同じ処理 (例) map (*2) [1..9]リスト内包表記と同等 filter リストから条件を指定して要素を取り出す (例) filter (リスト内包表記と同等 foldl リストの要素を左から1つずつ処理 (例) foldl (-) 0 [1..…
今日はつばきファクトリーのメジャーデビュー7周年ライブです。#つばきファクトリー New Album『3rd -Moment-』収録曲「Stay free &Stay tuned」コールの解説はこちら!https://t.co/WAnVt8snd3お手本はこちら!https://t.co/WvplnStUF0#つばきReALIZE pic.twitter.com/N5JVUxupUn— つばきファクトリー (@tsubakifac_uf) 2024年3月10日 #つばきファクトリー New Album『3rd -Moment-』収録曲「Power Flower ~今こそ一丸となれ~」コールの解…
Linuxデスクトップ環境がずっと死んでいて消耗していますが、今月はかろうじて生き延びました…(!?) 2月はAndroid 15というでかいリリース(developer previewですが)があった関係でだいぶ揺り動かされました。先にそっちから書きます。 Android MidiUmpDeviceService対応 数日前にAndroid 15のMIDI 2.0対応についてここに書きました。 atsushieno.hatenablog.com AAPはイベントメッセージのフォーマットとしてUMPを採用しているし、任意のインストゥルメントプラグインをMIDI 1.0のMidiDeviceSe…
0. 目次 0. 目次 1. 概要 2. 背景 3. 手順 3.1 build 環境構築 3.2 dkms build 3.3 grub.conf 更新 3.4 sysfs.conf に追記 3.5 reboot 3.6 確認 4. 利用 4.1 VF 作成 4.2 VM に PCI デバイスを追加 5. 起動 参考 1. 概要 Intel N100 がハードウェア的に SR-IOV に対応していたため Proxmox VE で VM に PCI Passthrough します。 2. 背景 元々 Ryzen Renoir のホストを運用していて、それを vfio-mdev で VM に見せよ…
問題文 https://atcoder.jp/contests/abc342/tasks/abc342_e 問題概要 $1$ から $n$ で番号付けられた $n$ 個の駅があり,$m $ 種類の路線が運行されている.各路線は 6 個の整数 $l, d, k, c, a, b$ *1で説明され,その意味は, 駅 $u$ から駅 $v$ へ向かう路線は, 始発が時刻 $l$ であり, $d$ 分間隔で出発し, $k$ 本運行され, $c$ 分で目的地に到着する. である. 駅 $s$ から駅 $n$ に到達できる時刻の内最遅のものを $f( s )$ で表す.到達できない場合は $-\infty…
問題文 https://atcoder.jp/contests/abc342/tasks/abc342_d 問題概要 $n$ 項からなる非負自然数の列 $\langle A_1, A_2, \dots, A_n \rangle$ が与えられる.以下の条件を満たす順序対 $( i, j )$ はいくつあるか? $1 \leq i $A_i A_j$ は平方数 制約 $2 \leq n \leq 2 \times 10^5$ $0 \leq A_i \leq 2 \times 10^5$
今回ギャグとシリアスごっちゃで面白かった。 ギャグはめちゃくちゃ笑ったけど、シリアスはツッコミどころ多かったな。 瑞樹はやっぱりまだ好きなのか。栄枝さんのことが忘れられないの? でも今はもうとっくに曽我一筋な栄枝さん!!! レビュー 感想 まとめ レビュー ストーリー:★★★★★ 脚本・構成・演出:★★★★☆ 演技力:★★★★★ テンポ:★★★★★ 胸キュン:★★★★★ ピュア度:★★★★☆ おもろい:★★★★☆ えち度:★★★☆☆ ツッコミどころ:★★★★☆ (adsbygoogle = window.adsbygoogle || []).push({});
forums.linuxmint.com 省電力に入ると「ボッ」「ボッ」って感じのポップノイズが強烈にうるさい。調べてみたら対処方法がありました。 sudo bash -c "echo 'options snd-hda-intel power_save=0 power_save_controller=N' \>> /etc/modprobe.d/alsa-base.conf" で/etc/modprobe.d/alsa-base.confに省電力にすんなって書くだけの模様。今時オーディオで省電力もくそもないだろう。
信号の包絡線 (signal envelope) は「信号の頂点にシーツをかぶせたときのような概形」を持つ波形です。 MatlabやRで書いた信号包絡線の計算プログラムをCommon Lispに移植しました。信号包絡線の計算方法は振幅の絶対値に対して、(1)低域フィルタをかける、(1')Savitzky-Golayフィルターがよい、(2)ピーク検出をしてスプラインでつなぐ、(2')いやいや秋間補間がよい、(3)ヒルベルト変換を使う、(3')結局それに低域フィルタかけるじゃろ、(4)スペクトル包絡には線形予測符号も使われてるよね、などなどいくつも提案できるのですが、ここではヒルベルト変換を用いて…
はじめに 昨日のGroqp祭りに便乗したことにより、昨日のブログのアクセスが1,554と通常の2~3倍になりました。 vengineer.hatenablog.com また、Google からの流入が増えているので、Groq で Google検索してみたら、なんと、2番目に出るようになっていました。当分、変らないでしょうね。 今日は、groq.com の chat で動いている LIama 2 70B は、どのぐらいのお値段で動くかを妄想したいと思います。 LIama 2 70B は、568個の chip で動いている。 ここに、下記のように書いてあります。説明のために引用します。 1. I …
はじめに 検索チームの tumuzu です。 画像生成などの技術的進歩は凄まじいですね。簡単なプロンプトから綺麗で多様なデータが生成されていて驚きっぱなしです。そこで拡散モデルの理論的なところが気になったので勉強して記事にしてみました。 この記事では拡散モデルから生成されたデータの質の高さの大きな要因であるサンプリング性能について見ていきます。拡散モデルのサンプリング性能の良さを体感するために、一般的なサンプリング法での問題点を確認しそれが拡散モデルと同等のモデルでは解決できていることを簡単な2次元データを使って見ていきます。 ちなみに『拡散モデル データ生成技術の数理』という書籍を参考にして…
皆さんこんにちは(#^^#) よく聞かれる質問に 「自分が作っているの以外で好きな歪みペダルは何ですか?」 というのがあります。 先日、Xにてこんなポストをしました。 Leqtique MAT自分が作ってるペダルを除けば、世界で1番好きと言えるペダル。2013年に購入して作っている人が気になり、2014年に会いに行った。あまりにデカい衝撃をくらい、自分もエフェクタービルダーになりたいと思う様になった。2016年ICSを始めた。たった3年で人生を変えたペダル。 pic.twitter.com/8Rv2qnRqDf — のりゆき (@icsnoriyuki) 2024年2月3日 書いてある通り音も…