2025-03-13
モナドの靴を履いたスパンとファミリー、そして二重圏
雑記／備忘
集合圏のスパンの一般化として、スパンの足をモナド（比喩的に靴）で修飾したものを考えることができます。バンドル-ファミリー対応により、靴を履いたスパンをファミリー化できます。さらに、ファミリーの値の圏〈ターゲット圏〉を集合圏以外にすると、豊穣…
モナドの靴を履いたスパンとファミリー、そして二重圏
ルベーグ積分を勉強するわけ
Create a free website or blog at WordPress.com.
2025-03-10
学術会議法案の問題点、立ち上がるアメリカの研究者
SciCom News アフリカ 大学を取り巻く事情 巻頭言 政府動向 政治と科学 日本学術会議 研究事件簿 科学と政治 科学と社会
※Science Communication Newsは科学技術政策や科学技術コミュニケーションの動向を
ウォッチするメールマガジンで、毎週1回程度配信されます。
※詳しくは以下のサイトをごらん
『スケープゴート』も「ケア」を施したという話なのかも
2025年2月に読んだ本とか
今月のようす 1年以上前に買ったものの、むずかしく感じて積んでいた『世界文学をケアで読み解く』。最近目次をなにげなくめくったら、読み終わったばかりの『少年が来る』や『菜食主義者』が扱われていたので、読んでみたらめちゃくちゃおもしろく読めた。これだから…
耳をすますナツメグ
読書
苺大福は「ヤマザキ」が好き。三位一体
2025-03-08
PicoのPIO遊び
PIOを使うことで、MicroPythonでも厳密な波形を簡単に生成できる。やはりRaspberry Pi Picoは面白い。
例えばMicroPythonのGPIO制御で全速力でゼロイチを切り替えて矩形波を生成するプログラムを書いてみる。
import machine
led_onboard = machine.Pin(3, machine.Pin.O
2025-03-08
PicoのPIO遊び
PIOを使うことで、MicroPythonでも厳密な波形を簡単に生成できる。やはりRaspberry Pi Picoは面白い。
例えばMicroPythonのGPIO制御で全速力でゼロイチを切り替えて矩形波を生成するプログラムを書いてみる。
import machine
led_onboard = machine.Pin(3, machine.Pin.O
日本語版wikipediaの「Hodge予想」の記事
ブラックホールのファイアウォールについて
ABC 予想と Fermat 予想、Mordell 予想
2025-03-05
koto kôtô kôto kotô
多言語雑談 文字づかい
【まだ書きかえます。どこをいつ書きかえたかを必ずしも明示しません。】 【この記事は個人の雑談です。日本語教育の参考情報にはなるかもしれませんが、わたしはその専門家ではありません。】 - 1 - 日本語では、母音の 長音 (2拍) と 短音 (タンオンとはあ…
koto kôtô kôto kotô
2025 /
2025-03-04
桜シフォンケーキ
森見登美彦氏はスターバックスの「桜シフォンケーキ」が好きである。
ふわふわして、良い香りである。
チョコンと上にのっている桜の花びらの塩漬けもいい。
満開の桜の咲く土手にすわって食べたら素敵だろうなあと登美彦氏は思う。しかし、肝心の桜の咲く季節になると、もうスターバックスでは桜シフォンケーキの販売を終了しているため、「お花見をしながら桜シフォンケーキを食べる
サポータ集団名を横断幕で掲示するのは普通なの？
2025 / 3
02«1.2.3.4.5.6.7.8.9.10.11.12.13.14.15.16.17.18.19.20.21.22.23.24.25.26.27.28.29.30.31.»04
ステロイド
タイヤが太いから、凍った雪の上でもふわふわ進む！
凍った湖の上を走る！大沼湖ファットバイクガイドツアー2025
七飯町の大沼で期間限定で開催されているファットバイクツアーに行ってきました。 onumakouen.com 最少催行人数が２人だったので弟と一緒に行く予定だったんですが、仕事の都合で行けなくなったため、急遽地元のサイクリスト仲間のＫさんを誘って行ってきました。 （の…
PikaCycli
2025-02-21
2025年2月20日米国ミズーリ州・自動車運転免許更新手続き（J2ビザでSSNを取得後に免許更新する場合の注意も）
プロフィール J1ビザで研究留学3年目のポスドク（私）と、その帯同J2ビザの妻が自動車運転免許を更新した。プリスクールに子供を預けている時間に行った。 場所 2025年2月20日木曜日9時すぎにミズーリ州のDOR (Department of Revenue)
この広告は、90日以上更新していないブログに表示しています。
マレーシアのお正月。海辺の食堂には赤い服を着た客が多い
４度目の正月とすごい暇のこと
この一週間は旧正月の連休だった。マレーシアは年に４回正月があるんだな、とやっと理解した。12月31日から1月1日にかけての、日本と同じグレゴリオ暦の正月が１つ目。２つ目は１月から２月(年によって変わる)にある陰暦の正月＝旧正月。３つ目はイスラム教の断食が終…
いろいろなことがある
"喜びを書くのはしんどいことを書
2024-12-04
台湾メモ1
忘れないうちいくつか記録しておく
ピーチのセールで航空券自体は安かったが、朝7時台関空発なので、京都駅発の4時30分リムジンバスに乗らないと間に合わない。家から京都駅までのタクシーはすぐに見つかるが、今回リムジンバスが事前予約満席で初っ端からかなりピンチだった。
大阪駅までタクシー乗って、大阪からリムジンバスで関空の行くのが最速っぽい感じだったが、それはちょっとな
ってなことを友人と話しながら1日目を送っていたら、その週末には実行に移してくれました。以下の通りです。
博多港とマリンワールド、百道浜とマリンワールドを繋ぐ路線を同じ会社の渡し船が運営してて同一料金なので、往復便＋マリンワールド入場チケットのセットで、博多港→マリンワールド→百道浜というルートで福岡観光ができる。
夏は暑い。 pic.twitter.com/banpjtMATE
— あれっくす (
スポンサーサイト
--.--.-- --:--:--
上記の広告は１ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
ひでひでた
スポンサー広告
FC2Ad
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
なぜか数学者にはワイン好きが多い
読者になる
Red cat の数学よもやま話
読者になる
フタパラ オルタナティブ
読者になる
Polyhedronの非多面体日記
読者になる
n.u-kiの日記は物理とか数学とか化学とかプログラムとかお酒とか？
読者になる
salmonsnareの日記
読者になる
読者になる
musicienの日記（神戸編）
読者になる
雑多な覚え書き
読者になる
xxgushaunxxのブログ
読者になる
trinoの走り書き
読者になる
kohta blog
読者になる
アラサーちゃん
読者になる
アクチュアリー試験数学の研究
読者になる
あったらしくるえるはてなくしょん
読者になる
ミームの死骸を待ちながら
読者になる
Finite Groups Fun 有限群あるいはちょこっと計算ファンの日記
読者になる
ryamadaのコンピュータ・数学メモ
読者になる
ひとふでがき
読者になる
月が私を狙ってる！
読者になる
flatlineの日記跡地
読者になる
a-ki_roomの日記
読者になる
ばっかじゃないの！
読者になる
＊かるこん＊雑記
読者になる
白のカピバラの逆極限 S.144-3
読者になる
第2kame日記
読者になる
hiroki_f’s diary
読者になる
記事を書く お題をさがす ダッシュボード
お題をさがす
お知らせ 企業メディアのSEOに最適な「サブディレクトリオプション」新登場。既存の法人プランからの乗り換えも可能！
66km辺りから、当初の目的「自分とお話し」を始める
空知で夜通し100km歩いた話
タイトルがそのままなのですが。 北海道の空知という地域にある空知単板という会社がチャリティーウォーキング(売上を寄付する)をやっており、その距
スポンサーサイト
--------（--）
スポンサー広告
上記の広告は１ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
FC2Ad
スポンサーサイト
上記の広告は１ヶ月以上更新のないブログに表示されています。
新しい記事を書く事で広告が消せます。
--------(--:--) :
スポンサー広告 :
このページのトップへ
FC2Ad
上記広告は1ヶ月以上更新のないブログに表示されています。新しい記事を書くことで広告を消せます。
お知らせ 企業メディアのSEOに最適な「サブディレクトリオプション」新登場。既存の法人プランからの乗り換えも可能！
「自分がどう見られたいのかといった感覚」を失いたくない
ラジオのように書き出してもよい -DW5900をつけたり商談に出たり-
あんまり選択肢に入っていなかったんだけども、Wasted Youthとのコラボレーションモデルの青いボディに白い文字盤という組み合わせにぐっと来て手に入れた
▼ ▶
2020
2020 / 5
▼ ▶
2017
2017 / 10
2017 / 6
2017 / 3
2017 / 1
▼ ▶
2016
2016 / 12
2016 / 10
2016 / 9
2016 / 8
2016 / 7
2016 / 6
2016 / 5
2016 / 4
2016 / 3
2016 / 2
2016 / 1
▼ ▶
2015
2015 / 12
2015 /
© Yahoo Japan
このサイトは現在プライベート設定になっています。
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
FAQ / お問い合わせ窓口
はてなブログ アカデミー
法人プラン
OSSコミュニティ支援プログラム
学校支援プログラム
クリエイターのためのはてなブログ
Error. Page cannot be displayed. Please contact your service provider for more details. (18)
￥ 772
￥ 772
￥ 4,000
スマートフォン用の表示で見る
404 Blog is not found
お探しのページは見つかりませんでした。
はてなブログ トップ
はてなブログ ヘルプ
はてなブログ
はてなブログとは
はてなブログPro
アプリ
テーマ ストア
旬のトピック
グループ
著名人ブログ
はてなブログの目指す場所
今週のお題
機能変更・お知らせ・ヘルプ
はてなブログ開発ブログ
週刊はてなブログ
ヘルプ
障害情報
お
© 2004 Ninja Tools Inc.
livedoor Blog
LINE BLOG
Blogger Alliance
404 Not Found
このページは存在しないか、すでに削除されています。
トップページ
戻る
新着記事
2018年10月
123456
78910111213
14151617181920
21222324252627
28293031
404 Not Found： ページが見つかりません
▼【重要】ホームページ開設者の方へ▼
＠homepageは2016年11月10日(木)15時をもちましてサービス提供を終了させていただいたため、ホームページの表示ができません。
詳しくはこちらをご確認ください。
@nifty top ウェブサイトの利用について ｜ 個人情報保護ポリシー
特定商取引法に基づく表示
©NIFTY Corp
ページが見つかりません。
ブラウザで再読み込み(Reload)や再起動していただいても表示されない場合は、 URLが間違っているか、
ココログ開設者がココログを閉じた可能性があります。
ココログトップへ戻る >>
個人情報保護ポリシー
©2008 NIFTY Corporation
Raspberry Pi Zero W / OpenCV 3.x ArUcoも使える
Raspberry Pi Zero W ミニサーバー と DNS
ESP-WROOM-32のBluetooth Classic SPP接続に成功-ESP-WROOM-32のBluetooth Classic接続に一部成功