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を見て驚く。 「有吉弘行 結婚」 この言葉が与えた衝撃はあまりに大きすぎた。衝撃的すぎて、地下鉄内で割と大きめに、え?と声を出してしまった。新人研修で疲れていた私の体力はすぐさま回復し、…
Hyprland on Arch Linux Arch Linux で KDE Plasma/GNOME の Wayland に対する苦痛が結構しんどいので思い切って Hyprland の環境を作ってみた。
問題文 https://atcoder.jp/contests/abc350/tasks/abc350_d 問題概要 $1$ から $n$ で番号付けられた $n$ 人の人がいて,$m $ 組の友好関係がある.友好関係は $m $ 項からなる列 $A, B$ によって表され,$i$ 番目の友好関係は人 $A_i$ と人 $B_i$ が友人同士であることを示す. この人々に対し,次の操作を可能な限り行う. 人 $x, y, z$ であって,人 $x, y$ 及び人 $y, z$ はそれぞれ友達同士であるが,人 $x, z$ は友達同士でないような三人を選ぶ. 人 $x, z$ を友達同士にする.…
'24/04/11 【ウィキペディア版】 :ヴェルル (ドイツ語: Werl, ドイツ語発音: [ˈvɛrl]) は、ドイツ連邦共和国ノルトライン=ヴェストファーレン州アルンスベルク行政管区のゾースト郡に属す市である。この街は2015年1月14日から「ヴァルファールツシュタット」(巡礼都市)という添え名を公式に名乗っている。 -・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・- 【X版】 #ヴェルル グラトニア(Gluttonia): 『ノートリンネ連合王国(United_Kingdom_of_Nordrhienne)』のほぼ中…
'24/04/10 【ウィキペディア版】 :ヴェルル (ドイツ語: Werl, ドイツ語発音: [ˈvɛrl]) は、ドイツ連邦共和国ノルトライン=ヴェストファーレン州アルンスベルク行政管区のゾースト郡に属す市である。この街は2015年1月14日から「ヴァルファールツシュタット」(巡礼都市)という添え名を公式に名乗っている。 -・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・-・- 【X版】 #ヴェルル ヴェルル・ゼブブ(Werl・Zebub): 『ノートリンネ連合王国(United_Kingdom_of_Nordrhienne)』…
しばらく前からMarvellの64bit ARM搭載機であることを把握しており、少し気になっていたもの。 最近になってまた気になりだしてしまい、丁度中古で安価な出品もあったことから、結局確保してしまった。 サポートできるかわからないものの、弄っていくのでメモ。 Switch, PHY 未確認 zone WAN LAN port (WSR-2533DHPLS) INTERNET LAN1 LAN2 LAN3 port (MT7530) port0 port1 port2 port3 MAC mmcblk1boot0は少なくともU-Boot本体とU-Boot環境変数領域の2つを含んでいる領域 LA…
朝からガレージで交換😊 なんせずっと雨☔ 今回もペングレードと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({});