Ceek.jp Altmetrics (α ver.)
  1. ホーム
  2. Twitter
  3. あすたーいずむ

あすたーいずむ (@U_2042)

投稿一覧（最新100件）

11 0 0 0 OA 変貌する数学観 そのとき形式化は?

変貌する数学観 https://t.co/rIRLERYOf7

25 0 0 0 OA ボルタ電池はもうやめよう : 問題の多い電気化学分野の記述(教科書の記述を考える 15)

@CasMEE_hibiscus ボルタ電池はもうやめよう : 問題の多い電気化学分野の記述(教科書の記述を考える 15) https://t.co/JHc3GckrIN

6 0 0 0 OA 〈プロジェクト研究〉旧約聖書のモ-セ五書(ト-ラ-Torah)に使われている 朗唱法(タアメ-・ハミクラ-Taame Hamikra)についての研究

〈プロジェクト研究〉旧約聖書のモ－セ五書(ト－ラ－Torah)に使われている 朗唱法(タアメ－・ハミクラ－Taame Hamikra)についての研究 - 小宮 一浩，植村 徹，土井 宏之，渡邉 隆昌 https://t.co/xmVnFK58jg

25 0 0 0 OA ボルタ電池はもうやめよう : 問題の多い電気化学分野の記述(教科書の記述を考える 15)

ボルタ電池はもうやめよう : 問題の多い電気化学分野の記述(教科書の記述を考える 15) https://t.co/JHc3GckrIN

6 0 0 0 OA 証明論について

RT @non_archimedean: 新井先生のサーベイ、分かりやすくてとても良かった。 https://t.co/eVdGl3C7WQ

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

1 0 0 0 OA 英学独修指針

#PunctuationDay 9/24はアメリカ

15 0 0 0 OA 間接検証としての演繹的推論

YouTubeのコメントで「主張」と「否認」の関係について質問が出ていたのでこの論文をおすすめしました。便乗して宣伝すると、私の論文↓がそれについて、Restall論文に依拠してねちっこく論じているので興味ある方はどうぞ。用語は「検証」と「反証」を使ってます。 https://t.co/3fQPwj6IJc https://t.co/YVBVydYCPD

171 0 0 0 OA 多変数フーリエ級数と格子点問題について

d次元単位球の定義関数（原点からの距離が1以下の点で1、それより遠い点で0をとる関数）は極めて普通な関数に見える。ところが、この関数をフーリエ変換してフーリエ逆変換すると、5次元以上の場合、任意の有理点で元の関数に戻らず、発散するという恐ろしい事態が生じるというhttps://t.co/SYv3LbJLNj https://t.co/PQhYgYOdki

1 0 0 0 OA 背理法を用いない効率的な証明のシーケントによる計画法

「“証明計画法”って何？」と思ったら，ある種の推件計算の証明図を“終件から始件に向かって書き進める手順”（各ステップは推論図の上件と下件を入れ替えたもの）を定めたものに過ぎなかった件。 / 中西 泰雄『背理法を用いない効率的な証明のシーケントによる計画法』(2011) https://t.co/MBcc9pFn3u

6 0 0 0 OA 証明論について

新井先生のサーベイ、分かりやすくてとても良かった。 https://t.co/eVdGl3C7WQ

282 0 0 0 OA オートマトン理論再考

拙著サーベイ論文「オートマトン理論再考」が今日付けでJSTAGEに公開されました！ どなたでもアクセスできると思いますので，ぜひぜひ読んでみてください． https://t.co/5WHN1lbyYY

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

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