昨日のマストドンの活動は
トゥート : 30098(+15)
フォロー : 84(0)
フォロワー : 136(-2)
https://github.com/gridap/Gridap.jl
PDEを離散化して解くやつ
お、もしかしたら通知の配置の仕方も変わってるかも
win10と同じで画面の上から並ぶようになってる？
22H2上げてよかったな
shift + 右クリックで旧コンテキストメニュー開けるようにもなってる
Juliaのupdate、ほぼ確実にPlotsとMakieが最後の方に残る
それが終わってやっとMakieの各バックエンドのprecompileが始まるのでplotsやってる時点では残り5
ccallは関数ではない
現に、
1. @ code_loweredが使えない
2. parametric typeが使えない
実態はマクロ的な
julia vscode、connect to external replとかできるんだ
拡張機能が謎クラッシュしてたけど、統合ターミナルでrepl開いてそれにconnectすればほぼ同じ環境にできた
misskey web、左上のアイコンから統計情報とか連合状況とかmfm cheatsheetとか見れるのか
ブーリアン型 - Wikipedia https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%BC%E3%83%AA%E3%82%A2%E3%83%B3%E5%9E%8B
だいたい動的型付け系とC(not ++)がゴミカスな仕様だけど、例外的にJavaScriptはbooleanを用意してるっぽい＞＜
ALGOL60やFORTRANにもちゃんとあったし、Cを作った連中が馬鹿であるって話のひとつとも言えそう＞＜
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
Lua 5.4.4 Copyright (C) 1994-2022 Lua.org, PUC-Rio
> if NaN then print("true") else print("false") end
false
```
==(x)
Create a function that compares its argument to x using ==, i.e. a function equivalent to y -> y == x.
The returned function is of type Base.Fix2{typeof(==)}, which can be used to implement specialized methods.
```
julia> NaN == missing
missing
julia> 1 == missing
missing
julia> typeof(missing)
Missing
julia> typeof(missing) |> supertype
Any
This account is not set to public on notestock.
This account is not set to public on notestock.
?, |, !, ~, xor, xandとかは関数だけど、&&, ||は関数じゃないんだ
This account is not set to public on notestock.
This account is not set to public on notestock.
でも ブール代数 \neq 整数と和差積 なので整数型をbooleanだとどうなるかは自明ではない気がする
```
julia> Meta.@lower missing || true
:($(Expr(:thunk, CodeInfo(
@ none within `top-level scope`
1 ─ goto #3 if not missing
2 ─ return missing
3 ─ return true
))))
julia> Meta.@lower missing | true
:($(Expr(:thunk, CodeInfo(
@ none within `top-level scope`
1 ─ %1 = missing | true
└── return %1
))))
```
texで作ったpdfをsumatraPDFで開いてポチポチしてると勝手にsynctexでnotepad.exeが開くの煩わしい
vscodeみたいに重いのじゃないだけましだけど
This account is not set to public on notestock.
数式における改行ってなんだろう
改行してもいい場所、良くない場所みたいなのの指定ができるといい？
https://texfaq.org/FAQ-brkinline
Line-breaking in in-line maths | The TeX FAQ
SATySFiで数式があると開業されなかったのにとても違和感があったのはTeXだと改行してくれていたからなのか
タブレット手書き感進化 : 日本経済新聞 https://www.nikkei.com/article/DGKKZO66360810Y2A121C2TEB000/
This account is not set to public on notestock.
This account is not set to public on notestock.
This account is not set to public on notestock.
https://juliastats.org/Distributions.jl/stable/univariate/#Distributions.invlogcdf-Tuple{UnivariateDistribution,%20Real}
なんでこれ逆関数はlogしかないんだろう
上側α点を求めるときにinvlogccdf(d, log(α))でわざわざlog取らないといけない
This account is not set to public on notestock.
This account is not set to public on notestock.
デュアルワンマン運転(２両編成だが移動できず、それぞれの車両に１人乗務員がいてそれぞれでワンマン運転の場合と同じ業務をする。ただし運転するのは片方のみ)
This account is not set to public on notestock.
スーパーカリフラジリスティックエクスピアリドーシャス - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%B9%E3%83%BC%E3%83%91%E3%83%BC%E3%82%AB%E3%83%AA%E3%83%95%E3%83%A9%E3%82%B8%E3%83%AA%E3%82%B9%E3%83%86%E3%82%A3%E3%83%83%E3%82%AF%E3%82%A8%E3%82%AF%E3%82%B9%E3%83%94%E3%82%A2%E3%83%AA%E3%83%89%E3%83%BC%E3%82%B7%E3%83%A3%E3%82%B9
x ~ iidはCLTの十分条件だけど必要条件ではないとか言うのを昔見かけたが詳しく知らない
コーシー分布 - Wikipedia https://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%82%B7%E3%83%BC%E5%88%86%E5%B8%83
やっぱり
@suzuken 自分のアカウントが成りすましではなく本物であることを示す重要な機能です。
たとえば企業なら公式ホームページなど、自分のものであると証明できるものであればなんでもいいのですが、そこから自分のアカウントにリンクを張ります。
Twitterアカウントを案内するのと同じように、公式Mastodonのアカウントを書くような感じです。
この時、リンクのHTMLタグにrel="me"と明示しておきます。
Mastodonからも、プロフィール補足情報に公式ページのURLを書きます。このリンクもrel="me"が自動的に指定されます。
相互にrel="me"でリンクされていると、お互いが自分のものであることを示すことができます。
Mastodon側では、相互にrel="me"となっていると、表示がグリーンになります。
リンクは、Mastodonのアカウント同士でもOKです。
リンクは指定できるが、自由にならない場所ではrel="me"がつけられないこともあります。
逆に、意識しなくてもリンクがrel="me"になっている場合もあります。
#fedibird #fedibird_info
This account is not set to public on notestock.
