日記
今更ながら、数学の写像関連で使う矢印記号 \( \rightarrow ,\,\mapsto \) の違いを確認。 まぁ、集合 \( \rightarrow \) 集合、要素 \( \mapsto \) 要素って違いで、包含関係の \( \in ,\, \subset \) のように集合自体か要素かの違いだろうとは思ってたけど、どっちがどっちかを適当に(その都度調べて忘れるように)使ってた&読んでたので、いい加減きちんと使うようにしよう。 今まで間違って使ってたことがあったかどうか。ちなみに TeX には他に
\begin{align*}
\hookrightarrow ,\, \rightharpoonup ,\, \rightharpoondown
\end{align*}
みたいな矢印があるけど、これらはどういう意味なんだろう。 調べるの面倒。
某コンビニいったら A○B の峰○み○みさんみたいな店員がいた。 商品の値段が分からなくてちょっとアタフタしてた。 萌え~。
- 作者: 結城浩
- 出版社/メーカー: 筑摩書房
- 発売日: 2013/04/11
- メディア: 文庫
- この商品を含むブログ (28件) を見る
- 作者: 橋本雅司
- 出版社/メーカー: ワニブックス
- 発売日: 2008/08/22
- メディア: 大型本
- 購入: 3人 クリック: 210回
- この商品を含むブログ (16件) を見る
ツイート
@waman10da: 『Structural Replace』 / “IntelliJを使ってfor文をforEachに置き換えしてみた - しおしおの雑記帳” URL #IntelliJ_IDEA #java8
@waman10da: RT @RiccaTachibana: わりと最近まで、サッカーのチームについてる「FC」をファンクラブのことだと思ってたくらいだけどそれでもやっぱりアツくなるんだぜ
@waman10da: RT @mikami_shiori: さすがみかこし!! RT @mimori_suzuko: 雹で検索したら3番目にニュースになってるんだもの…笑RT @mikakokomatsu: 昨日の雹に対してのひょー!ツイートがニュースになってて現場で突っ込まれた(:::°言°:::)
@waman10da: “[WMI for PowerShell] PowerShellで記述したスクリプトをバッチで起動・自動実行してみよう - WMI Step” URL #PowerShell
@waman10da: “Windows PowerShell スクリプトを実行する” URL #PowerShell
@waman10da: “GUIユーザーのためのPowerShell入門 (12) 外部プログラムを実行する | マイナビニュース” URL #PowerShell
@waman10da: 『現状では「グレーゾーン」となっているパチンコの換金に税金をかけるということで、パチンコ税創設には、換金システムを完全に合法化する必要がある。』 / 「パチンコ税」創設案に賛同多数 #R25 URL
@waman10da: RT @richard_raw: カップヌードル 初のそうめん - MSN産経ニュース:もしかして:にゅうめん / アイス調理して美味しいんですかね。っていうか生姜要らない!URL
@waman10da: 韓国「サッカーW杯で日本人のゴミ拾いが世界で称賛されてるの?ゴミ拾いの起源は韓国!日本のサポーターがゴミを捨てたのを韓国人が拾ったのが起源。日本人がそれをパクッた」 : ハムスター速報 URL
@waman10da: 拾ったクレジットカードの写真をアップし、それを使って買い物をした写真がTwitterに投稿される!さすがに窃盗罪で逮捕されますね、これ。 - クレジットカードの読みもの URL