hexirp_prixeh (Twitter) - ユーザ詳細

Hexirp (@hexirp_prixeh)

投稿
お気に入り
フォロー
フォロワー

投稿一覧（最新100件）

2 0 0 0 OA Ordinal Diagramについて

RT @damastein: Ordinal Diagramについて https://t.co/C7i9jxpeXK

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

RT @damastein: 非可述性の分析としての証明論 https://t.co/WGKStQ5GSE

81 0 0 0 OA 不完全性定理の数学的発展

RT @Kurahashi16: 数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

4 0 0 0 OA 官能評価分析のための程度量表現用語の定量的研究

J-STAGE Articles - 官能評価分析のための程度量表現用語の定量的研究 https://t.co/wxmXgssCrI | これは有難いのでメモをしておこう。

2 0 0 0 OA 不確実性の新しい定式化

https://t.co/Wrum555loS 面白そう https://t.co/G6q0UvaMMK

2 0 0 0 OA 石炭の着火温度, 自然発火所要時間と水分の関係

https://t.co/PzezCaH9P6 石炭に水分が多く含まれていると自然発火しやすくなることがあるらしく、直感に反してて面白い

4 0 0 0 OA 自動微分とDE公式を用いた非整数階微分の数値計算

RT @kmett: https://t.co/6ffTsGQr74 is just beyond my ability to parse via my limited Japanese. I have tanh-sinh quadrature and automatic d…

9 0 0 0 OA Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装

RT @Lugendre: @meteor_saan https://t.co/69Jv7HieYb

748 0 0 0 OA チョウセンアサガオに接木したナスによる食中毒事例

RT @14eggplant: https://t.co/7IjRONIOyC チョウセンアサガオに接木したナスによる食中毒事例、興味深い

2 0 0 0 OA Haskellへの多相ヴァリアントの導入について

この論文が再帰の対象となる型の拡張を扱っている。まず、open recursionに触れて、次にその方法のコードに重複が出来るという問題点を型クラスで解決しようとしている https://t.co/4lK6jD8Nkp

お気に入り一覧（最新100件）

2 0 0 0 OA Ordinal Diagramについて

Ordinal Diagramについて https://t.co/C7i9jxpeXK

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

非可述性の分析としての証明論 https://t.co/WGKStQ5GSE

81 0 0 0 OA 不完全性定理の数学的発展

数学会の論説に寄稿した解説論文 "不完全性定理の数学的発展" が無料でダウンロードできるようになりましたね． https://t.co/kMiBjP9OF7 ご興味のある方はぜひご一読ください．

277 0 0 0 OA 分子系統解析の最前線

こちらの動画を見て系統樹の推定に興味を持った方は、つい最近出版されたこちらの論文がおすすめ。 https://t.co/qbZ5HLtZIA 最先端の知見が日本語でまとめられた、貴重なレビューです。 #ゆるふわ生物学 https://t.co/kHIYYkT6pv

139 0 0 0 OA LR構文解析の原理

大堀先生のLR構文解析の原理の解説が非常に分かりやすいとの評判なのでもっと幅広い範囲の教科書には期待 LR構文解析の原理 https://t.co/aVaXLhjnMk

350 0 0 0 OA 沈黙を破る : 新自由主義化する大学の‟隠された傷”

共訳した「沈黙を破る : 新自由主義化する大学の‟隠された傷”」がリポジトリに上がりました。研究者なら読んで深いため息を吐きながら「ほんまその通り！」と頷いてしまう、大学組織の新自由主義化が研究者を蝕む構図を、オートエスノグラフィー的に描く名作です。　 https://t.co/hpcenC5v7b

798 0 0 0 OA 副詞「なんなら」の新用法 : なんなら論文一本書けるくらい違う

この論文タイトルのセンスが良すぎる… 島田泰子「副詞「なんなら」の新用法 : なんなら論文一本書けるくらい違う」 https://t.co/FnkvzEv87E https://t.co/Vlpi1rPCsa

4 0 0 0 OA 自動微分とDE公式を用いた非整数階微分の数値計算

https://t.co/6ffTsGQr74 is just beyond my ability to parse via my limited Japanese. I have tanh-sinh quadrature and automatic differentiation in the integration and ad packages, but need fractional derivatives now and it at least seems like a good fit from what I can understand.

748 0 0 0 OA チョウセンアサガオに接木したナスによる食中毒事例

https://t.co/7IjRONIOyC チョウセンアサガオに接木したナスによる食中毒事例、興味深い

Hexirp (@hexirp_prixeh)

投稿一覧（最新100件）

2 0 0 0 OA Ordinal Diagramについて

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

81 0 0 0 OA 不完全性定理の数学的発展

4 0 0 0 OA 官能評価分析のための程度量表現用語の定量的研究

2 0 0 0 OA 不確実性の新しい定式化

2 0 0 0 OA 石炭の着火温度, 自然発火所要時間と水分の関係

4 0 0 0 OA 自動微分とDE公式を用いた非整数階微分の数値計算

9 0 0 0 OA Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装

748 0 0 0 OA チョウセンアサガオに接木したナスによる食中毒事例

2 0 0 0 OA Haskellへの多相ヴァリアントの導入について

お気に入り一覧（最新100件）

2 0 0 0 OA Ordinal Diagramについて

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

81 0 0 0 OA 不完全性定理の数学的発展

277 0 0 0 OA 分子系統解析の最前線

139 0 0 0 OA LR構文解析の原理

350 0 0 0 OA 沈黙を破る : 新自由主義化する大学の‟隠された傷”

798 0 0 0 OA 副詞「なんなら」の新用法 : なんなら論文一本書けるくらい違う

4 0 0 0 OA 自動微分とDE公式を用いた非整数階微分の数値計算

6 0 0 0 OA コンパイラの型推論を使用した型デバッガの提案

9 0 0 0 OA Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装

10 0 0 0 OA 『ソフトウェアサイエンスの基本』シリーズ第4回高談闊論:双方向変換の原理と実践

748 0 0 0 OA チョウセンアサガオに接木したナスによる食中毒事例

フォロー（49ユーザ）の投稿一覧（直近7日間）

フォロワー（293ユーザ）の投稿一覧（直近7日間）

Hexirp (@hexirp_prixeh)

投稿一覧（最新100件）

2 0 0 0 OA Ordinal Diagramについて

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

81 0 0 0 OA 不完全性定理の数学的発展

4 0 0 0 OA 官能評価分析のための程度量表現用語の定量的研究

2 0 0 0 OA 不確実性の新しい定式化

2 0 0 0 OA 石炭の着火温度, 自然発火所要時間と水分の関係

4 0 0 0 OA 自動微分とDE公式を用いた非整数階微分の数値計算

9 0 0 0 OA Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装

748 0 0 0 OA チョウセンアサガオに接木したナスによる食中毒事例

2 0 0 0 OA Haskellへの多相ヴァリアントの導入について

お気に入り一覧（最新100件）

2 0 0 0 OA Ordinal Diagramについて

6 0 0 0 OA 非可述性の分析としての証明論(<特集>あたらしい数理論理学の揺籃:証明論的な順序数と集合論的な順序数)

81 0 0 0 OA 不完全性定理の数学的発展

277 0 0 0 OA 分子系統解析の最前線

139 0 0 0 OA LR構文解析の原理

350 0 0 0 OA 沈黙を破る : 新自由主義化する大学の‟隠された傷”

798 0 0 0 OA 副詞「なんなら」の新用法 : なんなら論文一本書けるくらい違う

4 0 0 0 OA 自動微分とDE公式を用いた非整数階微分の数値計算

6 0 0 0 OA コンパイラの型推論を使用した型デバッガの提案

9 0 0 0 OA Glasgow Haskell Compiler上の遅延オブジェクト再利用手法の設計と実装

10 0 0 0 OA 『ソフトウェアサイエンスの基本』シリーズ第4回 高談闊論:双方向変換の原理と実践

748 0 0 0 OA チョウセンアサガオに接木したナスによる食中毒事例

フォロー（49ユーザ）の投稿一覧（直近7日間）

フォロワー（293ユーザ）の投稿一覧（直近7日間）

10 0 0 0 OA 『ソフトウェアサイエンスの基本』シリーズ第4回高談闊論:双方向変換の原理と実践