- すべて
- 画像・動画
並べ替え:新着順
パンを作れる「Baked PANtasy」で遊んだ時、龍田さんのカメラで撮ってもらったやつ。もぐもぐしてたり、パンの耳をやったやつとか(笑)おもろかった! pic.twitter.com/d8rexOu3nl
【譲渡】エーライ エーステ アクスタ 秋単独 異邦人 任侠伝 アニカフェ 【譲】万里(茂木、ドム)、十座(ジョン、龍田)、太一、臣(ヴォルフ)、紬、○ 密 【求】定価+送料 初回ツイフィ必読 臣フォーマル衣装は1点300円です。 5月いっぱいで処分予定ですので、ご入用の方居れば。 pic.twitter.com/t2qgxwAYK2
[艦船紹介]天龍型軽巡洋艦 天龍型は大日本帝国が建造した軽巡洋艦で、同国初の軽巡洋艦です 本級は水雷戦隊の指揮艦とし建造された艦船であり、設計は駆逐艦の艦型を拡大したものとなっています 太平洋戦争では天龍が1942年に、龍田が1944年にそれぞれ戦没しています pic.twitter.com/qBkCrVDijh
龍田真の『型理論』での「選択公理」とのことも nLab が "type theoretic axiom of choice" と項目を立てており、私が HoTT での慣習を過剰に一般化していたようである。 リンク: ncatlab.org/nlab/show/type… (2/2)
nLab にも載ってた。 とりあえず、Lean の人たちの言う選択公理は集合論的にも型理論的にも選択公理ではないで良いと思う 龍田先生の選択公理も斜め読みした感じはほぼ同じに見えるが、ちゃんと後で確かめるか…… ncatlab.org/nlab/show/type…
性別 : オス 1 Vtuber獅子丸太郎 世界を燃やす炎のようなパッション! 2 Vtuber鷹取健太 未来を切り開く勇気を持って! 3 Vtuber龍田和也 心に響くメロディを奏でる! 4 Vtuber狼石憲一 闇を照らす光の存在! 5 Vtuber虎之介蓮 … #shindanmaker shindanmaker.com/1205803
龍田真の『型理論』は命題 5.6 を「ここでは、 AC として次の形の選択公理を扱う」と説明している。しかし、命題 5.6 は、通常の型理論の議論においては選択公理と呼ばないものである。 リンク: jstage.jst.go.jp/article/jssst/…
【譲渡】エーライ エーステ アクスタ 秋単独 異邦人 任侠伝 アニカフェ 【譲】万里(茂木、ドム)、十座(ジョン、龍田)、太一、臣(ヴォルフ)、紬、○ 密 【求】定価+送料 初回ツイフィ必読 臣フォーマル衣装は1点300円です。 5月いっぱいで処分予定ですので、ご入用の方居れば。 pic.twitter.com/4vsW2weo18
根津美術館もとても良かった!東京って庭園とかどっかにあった気がするけど今日は無理だなと思ってたのでこんなおしゃれなまちのなかに…⁉︎ってびっくりした。琳派好きなので燕子花図屏風見れて満足。でも吉野龍田図屏風初めて見てめっちゃ好きになった。 pic.twitter.com/eIfz8kWNU4
次に向かったのは龍田神社だ。第十代の崇神天皇の時代、国内に凶作や疫病が流行し騒然とし ていた時、天皇の御夢に大神様が現れ「吾が宮を朝日の日向かう処、夕日の日隠る処の龍田に定めまつりて」という御神託を授けられ、お社を造営すると、作物は豊作、疫病は退散したと伝えられているそうだ。 pic.twitter.com/1gZP0Rg9KL
トレンド1:08更新
- 1
ITビジネス
iPad Pro
- iPad Air
- 新型iPad Pro
- 13インチ
- ipadPRO
- M4チップ
- Magic Keyboard
- iPod nano
- OLED
- iPad Pro 2024
- 新型iPad
- M4 iPad
- AppleEvent
- 新iPad
- iPad Pro M4
- 55万円
- 有機EL
- Apple M4
- Air
- 史上最も
- M4
- 2
Hi-Fi RUSH
- スタジオ閉鎖
- Tango Gameworks
- サイコブレイク
- Tango
- Redfall
- 3
ITビジネス
レディバグ
- YouTube
- 4
エンタメ
Rejoice
- Zepp Haneda
- チケット
- スタート
- 2024年
- 5
アニメ・ゲーム
KEEP OUT
- Eden
- Eden アルバム
- アルバム
- アルバム発売
- 6
マツコデラックス
- 映ってた
- 7
ニュース
美濃加茂
- ダボ市長の娘
- ダボ市長
- 市長の娘
- 不適切行為
- 美濃加茂市議会
- 永田徳男
- 永田徳男副議長
- 美濃加茂市
- ダボ市
- 日本の恥
- 下半身に
- 一生懸命に
- セクハラ
- カラオケ
- ダボ
- 8
ITビジネス
Apple Pencil Pro
- Pencil
- Apple Pencil
- Pencil Pro
- 129ドル
- フィードバック
- パレット
- 9
新婚初夜
- 10
旦那様に無痛
- 無痛分娩
- 無痛おねだり
- 生田斗真
- おねだり
- 旦那様