ガロア第一論文と乗数イデアル他関連資料スレ11

[過去ﾛｸﾞ] ガロア第一論文と乗数イデアル他関連資料スレ11 (1002ﾚｽ)
上下前次 1-新
通常表示 512ﾊﾞｲﾄ分割ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

668: １３２人目の素数さん [] 2024/11/22(金) 23:15:52.66 ID:NLbP3CjF

>>663
リンク ありがとうございます
下記ですね
東大 基礎論講義ありますね 1年後期かな。講座も
酒井 拓史 講座　離散数理学大講座 　教授
研究分野　数学基礎論，公理的集合論
下記 経歴 2024年からだと、新井 敏康パパの後継ですかね

(参考)
東京大学授業カタログ 2024年度版
集合論は数学に現れる無限集合について調べる分野です．特に，公理系に基づいて展開される集合論は公理的集合論と呼ばれます．関数・関係・数学的構造をはじめとする数学の書概念は集合を用いて表され，集合論の標準的な公理系 ZFC （Zermelo-Fraenkel の公理系 ZF +選択公理 AC）は数学全体を展開できる包括的な公理系になっています．この講義では，ZFC のもとで展開される集合論の基礎を解説し，さらに連続体仮説の ZFC との無矛盾性や，選択公理の ZF との無矛盾性についても解説します．

教員
酒井　拓史
授業計画
次の項目を順に解説する予定です．
1. ZF の紹介
2. 無限集合の濃度と連続体仮説
3. 順序数と超限帰納法
4. 選択公理とその帰結
5. 連続体仮説と選択公理の無矛盾性

参考書
[1] 田中一之 編「ゲーデルと20世紀の論理学 第４巻 集合論とプラトニズム」東京大学出版会，2007年．
[2] ケネス・キューネン著，藤田博司訳「集合論 -独立性証明への案内-」日本評論社，2008年．
[3] Kenneth Kunen, “Set Theory”, College Publications, 2011.

www.ms.u-tokyo.ac.jp/teacher/sakaihiroshi.html
東京大学大学院数理科学研究科理学部数学科・理学部数学科
酒井　拓史（SAKAI Hiroshi）
講座　離散数理学大講座 　教授
研究分野　数学基礎論，公理的集合論
研究テーマ
強制法公理や巨大基数公理が無限組み合わせ論や基数算術に及ぼす影響
研究概要
集合論の標準的公理系 ZFC は通常の数学がほぼすべて展開できる包括的な公理系ですが，連続体仮説をはじめとする無限に関わる様々な命題が，ZFC では証明も反証もできないことが分かっています．私は，ZFC にどのような公理を加えた公理系でどのようなことが証明できるかを研究しています．特に，巨大基数公理・強制法公理・反映原理と呼ばれる公理を ZFC に加えた公理系で，無限組み合わせ論や基数算術についてのどのような命題が証明できるかに興味を持っています．
主要論文
S. Fuchino, A.O.M. Rodorigues and H. Sakai, Strong downward Lowenheim-Skolem therorems for stationary logics, II. Archive for Mathematical Logic 60 (2021), no.3-4, 495-523.
S. Fuchino, A.O.M. Rodorigues and H. Sakai, Strong downward Lowenheim-Skolem therorems for stationary logics, I. Archive for Mathematical Logic 60 (2021), no.1-2, 17-47.

researchmap.jp/hsakai/research_experience
酒井 拓史
サカイ ヒロシ  (Hiroshi Sakai)
経歴
2024年4月 - 現在東京大学, 大学院数理科学研究科, 教授
2013年11月 - 2024年3月神戸大学, システム情報学研究科, 准教授
2010年10月 - 2013年10月神戸大学, システム情報学研究科, 講師
2008年10月 - 2010年9月神戸大学, 工学研究科, 助手

http://rio2016.5ch.net/test/read.cgi/math/1724969804/668

683: １３２人目の素数さん [sage] 2024/11/28(木) 13:28:42.54 ID:XCAq3thN

メモ
https://eetimes.itmedia.co.jp/ee/articles/2411/27/news187.html
ITmedia アイティメディア株 20241127 村尾麻悠子
半導体開発「日本は本当に人が足りない」　オフショア活用も視野に 背景に設計の複雑化

背景には、半導体設計がますます高度化、複雑化していることや、海外企業と英語で交渉する必要が増えていることなどがある

クエスト・グローバル・ジャパンの半導体部門でゼネラルマネージャーを務める浜崎博幸氏は、「半導体回路の設計や開発において、日本は本当に必要な人材が足りていないということを痛感している」と語る

その背景にある課題として、浜崎氏は3つを挙げる。まずは、ICに機能を統合することがより複雑になっていること。CPU／GPUのマルチコア、マルチクラスタは当然になっていることに加え、昨今はAI(人工知能)演算を担うNPU(Neural Network Processing Unit)の統合も求められるようになっている。コア間通信や電力対策などの機能が複雑になり、協調動作が難しい

「マイコンにまでNPUを搭載することが当たり前になりつつある。ソフトウェアスタックを積み上げて開発する必要があり、そうなると従来のシミュレーションでは対応できず、エミュレーターが必要になるなど、ツールも変わる。“作るもの”が格段に難しくなった。開発に携わっていると勉強時間を確保しにくくなっている。半導体設計から実装までできるエンジニアは非常に限られている」(浜崎氏)

2つ目の課題は、EDAツールを使いこなすことだ。プロセスの進化に伴い、ツールやサインオフ条件などは複雑化している。これらのツールを使いこなすことが必要だが、そのためにはEDAベンダー本社との密なコミュニケーションが欠かせない。日本法人に問い合わせても、結局は本社への問い合わせが必要になるケースも多いからだ。だが、日本のエンジニアは、グローバルでのやりとりにはどうしても弱くなると浜崎氏は述べる。「EDAベンダーやIP(Intellectual Property)ベンダーとやりとりしようとすると、インド人と仕事をする必要が出てくる、といった構造になることが多い。(設計に関わる)専門知識に加えて、英語力、交渉力が必要になる」(同氏)

3つ目の課題はチップサイズの増大化だ。EDAツールで扱えるチップの規模には上限がある。そのため、合成、DFT(Design for Testability)、レイアウトといった階層ごとにエンジニアをアサインしなくてはならなくなっている。特に、開発期間が短い場合、大量のエンジニアが必要になるが、合成からレイアウトまでのスキルを持ったエンジニアは大幅に不足していると、浜崎氏は述べる

同社の推計によれば、日系半導体企業では約3万人のエンジニアが不足しているという。とりわけ確保が難しいのが、アーキテクチャ設計やIPなどの新規技術導入に携わることができる高度人材だ。物理設計やハード／ソフトの検証を行うコアなエンジニアも不足している

ハイスキル人材で国内外からサポート
こうした課題に対し、Quest Globalはローカル・グローバルモデルを活用し、エンド・ツー・エンドでサポートする。主に北米、欧州、アジアで採用したハイスキル人材を活用し、顧客の戦略やニーズに合わせたアウトソーシングサービスを提供する。サービスの形式も、人材派遣、請負、共同開発プロジェクトなどがある

http://rio2016.5ch.net/test/read.cgi/math/1724969804/683

上下前次 1-新書関写板覧索設栞歴

あと 318 ﾚｽあります
ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.009s