情報学科生のたまり場スレ ver.4

---

4つめです。

前スレ
http://www.kyoto-u.com/lounge/katsura/html/200306/03060002.html

最近曜日の感覚なくなってきた。だめぽ。

---

C、C++を独学中なのに‥

Javaなんてやってないよ！
後期後半からのソフトウェア実験どうすりゃいいのさ！

---

実験だりぃ。

---

実際、基本情報処理とかシスアドの資格とか、
みんな取ってるの？

---

時間に余裕のある人は取ってるみたいだね。
でも別にそういう資格はなくても就職口くらいどっかにあると思う。

---

応用代数のレポートが出たとの噂を聞いたのですが誰か教えてもらえないでしょうか・・・
自分、友達いないんで。

---

応用代数課題１２／８提出

[1]pを素数,Sをp-1個の整数1,2,....,p-1からなる集合とし、S上に以下の演算○を導入する。

a○b=積abをpで割った余り

代数系(S,○)が単位半群をなすことを示せ。(結合律、単位元e)

[2]ユークリッドの互除法に基づいて、代数系(S,○)が群をなすことを示せ。(逆元の存在)

[3]有限群(G,○)の要素の総数をnとするとき、Gの各要素のn乗は単位元になることを示せ。
ただし、要素rのn乗r^nはr^n=r^n-1○r^1,r^1=rにより帰納的に定める。

[4]pが素数ならば、pの倍数でない正の整数mに対して、m^p-1 -1はpで割り切れることを証明せよ。
(ヒント：まずm^p-1 - r^p-1はpで割り切れることを示せ。)
以上です。
神が答えを載せてくれることを希望。

---

これくらい自力で解けるだろ

---

↑↑サンクス。神には神で応えよう。

[1]Ｓが演算で閉じていることを示すのを忘れないように。

[2]逆元の存在 ⇔ ∃x　s.t. ax ≡ 1 (mod p),　a∈S
　　　　　 ⇔ ∃x,y s.t. ax + yp = 1

[3] Ｇは有限群なので ∀g ∈Ｇ に対して g^k = e となるｋが存在する。k > n は起こり得ないことが示せる。
k < n とするとラグランジュの定理より・・・

[4] [1]の(Ｓ,○)に対して[3]の結果を適用する。

ついでに群論を良書を挙げとくよ。
S.ドゥージン「変換群入門」シュプリンガー東京
志賀「群論30講」
原田「群の発見」
赤尾「線形代数と群」共立21

---

上の人、何回生？ようわかってはりますなあ。
ていうか、あの問題がわからん人にこの解答を書いても、
ありがたみがわかってもらえん危険が(^^;)。

---

今年はちょうど１コマ目があって２コマ目が空いてるので、
僕含め、二回生で応用代数学を取ってる人多いです。先生も一回目のレポートで二回生が多いことに気づいて、苦笑なさっていました。

---

ここ、おもろいね。たまにこよう。
↑↑↑俺も取ってる。ありがとう

---

>上の人、何回生？ようわかってはりますなあ。

普通に３回生です。まあ↑のは半分カンニングしながら書いたわけだが。俺は数学書読むとき手を動かさないのであんまり証明は頭に入っていない。その代わり数は相当こなしているのでどの本のどこを見れば載っているかはすぐ分かる。こんな勉強の仕方でいいのかな。

---

応用代数レポート
参考文献
kyoto-u.com わらった。

---

中村先生、ごめんなさい。

---

＞キンコツマン氏
＞俺は数学書読むとき手を動かさないのであんまり証明は頭に入っていない。
＞その代わり数は相当こなしているのでどの本のどこを見れば載っているかはすぐ分かる。
それでいいと思うよ。
手元の資料を限定された中で答えを出さなければならない
試験の時間というのはあまりに特殊な環境で、それは
資料は何を見ても良いから何か新しいことをやらないといけない
日々の研究活動とはおよそかけ離れたものだからね。
あなたのように情報へのポインタ、メタデータを持っていて
必要なときに必要な情報を得ることができることのほうが
よっぽど重要だと思う。

もちろん基礎的な知識は頭に入れておかないとだめだけど。

---

↑そう言っていただけると安心します。
数学科の人は解析概論を熟読して証明は自分で再現している、という話をよく聞くので。
とりあえず進路を決める時期(最初は研究室の選択かな)までに多くの分野の知識がないと、選ぶことすらできないから、最初のうちは広く浅くやったほうがいいかな、ってのが僕の考えです。

---

まさか情報学科の学科長先生が
お目にかかっているとは思わなかった・・

---

パソコンばっかやってないで日本語勉強しろ

---

日本語なんて適当でいいから
少しは英語でも勉強しろよ。

---

英語勉強する人って、大学ではどんな勉強します？？

---

もえた(ry

---

情報学科にそんなもん買ってるヤツ居ねぇよ！と
言い切れないところがまた・・・

ところで、数理and計算機の、研究室の人気って
どんな感じなんですか？

---

今間違ってたことに気づきいて激しく鬱。
年明けにまたやるのか...

---

実験だりぃ．．．

---

計算機アーキテクチャー１の
今度の講義までの課題って、何でした？

---

・Booth法による乗算
(1)２章で定義した命令セットを使用してプログラムを作成せよ。
(2)Booth法専用の命令セット、データパス、制御装置を示せ。
(3)専用コンピュータを設計せよ。
※乗数、被乗数は4bit

---

先週と今週の線形計画出席できませんでした。
テストについて何か言ってたでしょうか？

---

＞２回
まだテスト作ってない（？）らしいから詳しいことは一切言ってません。最初から２・９の内点法までまんべんなく見とけって言ってました。

---

ありがとうございます！！m(_ _)m

---

一問は、課題で出したような問題だとも言ってました。

おそらく、例年通りの２問構成だと思われます。

---

の最後の授業、出そびれたんですが、
テストについて何か情報ありました？

出た方、教えてください、お願いします。

---

の試験について、先生は何かおっしゃっていましたか？
授業、出られませんでした。。

---

皆さん、がんばりましょう！
age

---

柳浦先生は「動的計画法」と「近似アルゴリズムの最適値の評価」を見ておくように、と言ってました。
まぁ、あの先生の問題の傾向からして整数計画問題はどこが出るにせよ
ノートを見て慣れておくのが一番かと。
福嶋先生はわかりません。
昨年と同様の難易度か、それとも一昨年のような楽な試験になるのか……？

---

http://bookweb.kinokuniya.co.jp/html/9976385048.html
最適化にはこの本だ！！！

---

アルゴリズム論は、何章、飛ばしたんでしたっけ？

---

おー！サンクスですぅ♪
僕もがんばります。

---

応用代数どっから手をつければ・・・

---

ってさっぱりじゃないですか？
取れる気がしません。

---

＞応用代数どっから手をつければ・・・
担当教官中村さんかい？だったら大した問題は出ないよ。
何でもいいから代数系入門の本を借りてきて、
群論の初歩のところ（準同型定理ぐらいまで）と、
環と体の定義だけ覚えていけば大丈夫。

＞グラフ理論(上林)
＞ってさっぱりじゃないですか？
うむ。弥彦は情報学科でも有数の講義下手。
参考書を買って読むことを勧める。

---

上林は神。

---

応用代数の試験範囲は、
・半群
・群（部分群、置換群）
・準同型定理
・バーンサイド定理
と、最後の授業で板書してありました。

＞うむ
＞だったら大した問題は出ないよ。
中村先生は、このサイト見られているようなので、軽はずみな発言は控えてください。
うむ様は単位もっておられる様ですが、あさって試験を受ける人間には、この発言で気でも変えられたらたまりません。

---

＞中村先生は、このサイト見られているようなので、軽はずみな発言は控えてください。
あのねえ。それが人にものをいう態度？
そんなことこっちは知るよしもないでしょうが。

だいたい、「大した問題は出ない」って、別に中村先生の悪口言ったわけじゃないでしょうが。
「大した問題は出ない」ってのは、「基礎を理解していれば必ず解ける問題しか出ない」って意味で、
別に「つまらん問題を出す」ってわけじゃないでしょうが。

---

２回目のレポートの第３問、Ｇが可換群のときしか証明できないんですけど、可換群でないときの証明方法、だれかわかりませんか？？

てか、２回目のレポートの問題はむずかしすぎだと思うのは私だけでしょうか？？
あのレベルの問題を出されたら点取れそうにないや。

---

＞あのねえ。それが人にものをいう態度？
＞そんなことこっちは知るよしもないでしょうが。
ごもっともです、失礼しました。
応用代数学より先に、人生の勉強して参ります。
逝ってきます。

---

今年はちゃんと6章まで授業は進んだんでしょうか？
去年は4章までだったんですが。。。
親切な方、教えてください。

---

＞あのねえ。それが人にものをいう態度？
＞そんなことこっちは知るよしもないでしょうが。

人にものを言う態度としてはこっちのほうが異常（藁

妙に必死に見えるのは俺だけですか＾＾；；

---

私が３回の時には、何度か問題自体に誤りのある問題がレポートで出題されたことがあります。
もしかすると確信犯で、気づくかどうかを試されているのではないかという気がします。

もし、どうしても疑わしい場合は、反例をつくってみるとか不可能性の証明をしてみてはどうでしょう？

---

上の方で最後の授業情報について求めた者ですが...
＞コンパイラについて 2004/01/31(土) 12:52:56
＞今年はちゃんと6章まで授業は進んだんでしょうか？
最後の一個前の講義に参加したときには５章やっていたので、６章をやっている可能性大です。
どなたか詳しい情報お願いできませんか？

---

グラフ理論のレポートやるのみんな速すぎじゃない？
早くにレポート情報がアップされたのに気づいて
簡単な問題選べた人は楽だったろうなあ・・・

---

レポート作ってる間に他の奴に取られるみたいな事態が発生しそう...
俺は何とか勝ち取ったが、あんな内容でいいの？ってぐらいしょぼい内容(--;
先生僕に60点ください（哀願）。

---

登録してから30以内にレポート書けばいいんじゃない？

---

しくったら、２日間、問題がお蔵入り。
これは、きつい。

---

グラフ理論課題出したがもう適当もいいところ・・・
あれで６０点だったらナァ。

---

俺が一番楽だっただろうなー
問題に格差ありすぎやね。
あれで６０点だったらナァ。

---

応用代数学、むずかった。
結構勉強頑張ってたから、自信あったのに…
だれか模範解答載せてくれ〜

---

撃沈致しました。グラフ理論でリベンジよ。
難しい問題出さないでくれぇ。

---

応用代数学の問１で
写像が単写にかぎらないという
あたりまえの事実にきづいた・・・
アホや〜
まあ問１は部分点に期待するか
あるんかしらんけど

---

http://www.kyoto-u.com/lounge/circle/html/200402/04020002.html

ヒマなひとおいでー

---

結局、問１は群じゃないの？？群じゃなければ、反例を書くだけでいいのか？？

---

写像の中には逆写像つまり逆元を持たないものもあるから、群ではない。
てことでFA？

---

問２の（２）の答は「実数全体」でいいのか？？

問４さっぱりわからんかった。

---

グラフ理論「チーン」

NP完全性の証明なんて出来るかああそして
語句説明はどこ行った・・・最後の最後で
傾向が変わるなんて＿|￣|○

---

>問２の（２）の答は「実数全体」でいいのか？？

{\phi(z) | z \in C}={\phi(x+iy) | x,y \in R}={x | x \in R}
となるので実数全体であってると思います。問題が回収されてしまったので問題を勘違いしてたらすみません。

問1は一般には逆元を持たないので群にはならないはずです。反例としては、定値写像は一般には単射ではないので、この写像に対する逆元は存在しません。

友人と帰りながら問2の(4)って\phiそのまんまじゃ？？何を書けば…？？ということを話してたのですが皆さんはどうしましたか？

---

どんな問題なの？解いてみたい。アップしてみてくれん？

---

２回さん、返答ありがとう。

「実数全体」という答は単純すぎて、本当にこれでいいのかな？ってかなり不安だったのです。
じゃあ(3)は、「実部が同じ複素数を１つの同値類とする集合」みたいなカンジでいいのかな？
(4)は\phiそのまま書きました。

---

問1って、Aが要素一つのみの集合の場合、
A→Aの写像の集合って、群になるよね？
これって、例外として書く必要あったのかな？
答案用紙出してから気づいた・・・

---

なんで情報学科には集合と位相の講義がないんだろうね。
それがないから、こういう科目にものすごい支障が出てると思うんだけど。。。。

---

問４はN=2とN=1が答えでいいのかな？

---

１．逆写像が存在しないので単位半群ですね。全単射写像の集合ならば群になります。
>Aが要素一つのみの集合の場合、
Hom という記号は、とにかくあらゆる写像全体を表すときに使うので、その心配は無用。

２．
(3)視覚的には、虚軸に平行な直線の集合です。
(4) \phi というのは Ｃ→Ｒ で定義された写像ですよね。例え同じ形(関数形)をしていても、定義された空間が違うならば違う写像とみなさないと駄目です。
求めたいのは Ｃ/≡→Ｒ　なので、例えば虚軸に平行な直線に、その直線と実軸との交点を対応させる写像が答えになります。

３．逆元の存在だけちょっと注意。\pi^{-1}がちゃんとＧa に属することを示さないといけない。
\pi^{-1}\pi = e (単位元)　なので、両辺に a を作用させて
\pi^{-1}\pi(a) = \pi^{-1}(a) = e(a) =a
したがって \pi^{-1} ∈ Ｇa

４．
1234 → 1234
1234 → 2341
1234 → 3412
1234 → 4321
で群になる。N = (4+0+0+0)/4 = 1

1234 → 1234
1234 → 2134
1234 → 1243
1234 → 2143
で群になる。N = (4+2+2+0)/4 = 2

---

＞なんで情報学科には集合と位相の講義がないんだろうね。

一般教養の集合位相をとってました。
「集合と写像と言葉で表現する」ことに慣れていれば、群論なんて楽勝です。

↑↑２秒差・・・

---

もとの問題がわからないのでトンチンカンなコメントかもしれないですが。

＞Hom という記号は、とにかくあらゆる写像全体を表すときに使うので、
それはちょっと問題があります。
Hom ってのは、もともと homomorphism の略なんですが、
homomorphism は普通は「準同型写像」です。
だから、例えば V, W がベクトル空間の場合、
Hom(V, W) は、V から W への線型写像の全体になります
（ベクトル空間同士の準同型写像は線型写像！）

ただし、morphism という言葉にはもともと「準同型」という意味はなく、
一般的には始域と終域の「対応」さえ定まっていれば
それを morphism と呼ぶことがあります。
だから、一般の集合 A, B に対して、Hom(A, B) を、
「A から B への写像の全体」と書くこともある、
というだけの話です。

こういうのを「圏論」(category theory) というのですが、
位相幾何や計算機科学の先端で最近盛んに利用されているようです。
興味があれば勉強してみては？

---

↑「集合と写像"の"言葉」と言いたかった。

---

問４は置換群なんだから
当然群の性質をみたさないといけないのか
そんなことにもきづかなかったとは・・・

---

＞なんで情報学科には集合と位相の講義がないんだろうね。
＞それがないから、こういう科目にものすごい支障が出てると思うんだけど。。。。
ってのがあったけど、まったくその通りだと思う。
てかもっと数学の授業あって欲しい
特に代数系の。
こんな思ってるの俺だけかな？
ちなみに計算機３回です

---

＞Hom ってのは、もともと homomorphism の略なんですが

おっしゃる通りだと思います。何かの環論のテキストで、写像全体、と書いてあったので。この問題の場合は後者の意味でよいみたいです。

---

＞てかもっと数学の授業あって欲しい
＞特に代数系の。
＞こんな思ってるの俺だけかな？
俺も。でもまあ、俺は数理だけど。。。。
数理は、物理の授業はかなり多くてきついのに、
数学は軽いんだよな。数学もっとやってほしい。

＞キンコツマン
あなたは計算機ですか、数理ですか？何回生ですか？
数学好き同士、もしよければ交流をと。

---

アーキテクチャ１の配布プリントの印刷って家では１ページに６ページ分ってできないんですか？

---

どうもAcrobatReaderには、
ページ分割して印刷する機能が無いようなので、
プリンタ付属のユーティリティー（印刷の設定時に[プロパティ]を押すと出るやつ）に期待するべきですね。

---

最新版のAcrobatReaderを入れて、
スナップショットツールを使えば、
切り出しができるので、それで1ページごとに
ページ全体を画像として切り出して、なんか適当なソフトで、
ぺたぺた貼り付けて印刷するとかｗ

---

>あなたは計算機ですか、数理ですか？何回生ですか？

他学科の３回生です。
趣味で数学系の授業をとりまくっています。
数学科の授業に出るほどの度胸はないんですけど。

＞数理は、物理の授業はかなり多くてきついのに、数学は軽いんだよな。数学もっとやってほしい。

情報のことは全然知らないんですけど、数理のほうが数学強いってイメージがあるけど違うんですか？数理工学とか複雑系ってもろに数学ですよね？
工学部全体に言えることなんですが、数学の授業がやはり少ないですよね。授業を開講しろとまでは言わないけど、一般教養の数学の科目が卒単になるなど、学習意欲を促すよな処置をして欲しいです。般教と言えども群論、多様体、ルベーグ積分、関数解析なんかもあって侮れないですよ。

---

応用代数の4番、半分しか出来てないなぁ。
でもそれ以外はだいたい合ってたら単位はあるよね？
ちょっと今年卒業できないとヤバすぎ

---

＞キンコツマン
数理の複雑系は、物理系の研究室の方が多いです。
それに、学生の多くは（「情報学科」という名前からか）、OR系や制御系に行きたがるので、数学や物理が好きな人は実は少ないんですよ。

＞一般教養の数学の科目が卒単になるなど、学習意欲を促すよな処置をして欲しいです。
実は数理では、他学部専門は殆ど素通しで卒業単位にできます（申請すれば）。
一般教養の数学科目といっても総人や理学部の専門なので、大丈夫ですよ。

それはそうと、数学科の科目といっても、別に基礎がわかってたら怖くありませんよ。食わず嫌いせずに取ってみたら？
数理には、数学科の先生に気に入られて、少人数で個人的にゼミをしてもらってる人もいますよ。

---

複雑系＝墓場。

---

なぜ？

---

就職が少ないとかだろ

---

オートマトンはどんな問題が出るんですかねぇ？というかそのまえにコンパイラとアーキテクチャか・・・。

---

アーキテクチャってどんな勉強してます？過去問見ても１，４章からの出題が多いような。今回の範囲って２，３章ですよね。

---

オートマトンは、「〜を記せ」というような記憶だけで
回答できる問題は出さず、
すべて「解く」問題にするということだけは聞きました。
ただ、コレ教科書で言うと範囲どこまでなんでしょう？

＞↑
１章は入らないんですか？

---

コンパイラの範囲教えてください。
お願いします。

---

１章も入るかもしれません。ちょっとわかりません。
コンパイラですが、６．４までだったと思います。
アーキテクチャの過去問で
「１バス構成のプロセッサのＲＴレベルでの構成とステートマシンを示し、適当に機械命令を設定して、動作を説明せよ」
とよく出題されているんですが難しくて解けません。どなたか助けていただけないでしょうか。

---

ぼちぼち自由応募で就職する人は就活はじめてると思うんだけどどんな感じですか？

---

ありがとうございます。

アーキテクチャの問題は....
ぶっちゃけ、わからんです、ごめんなさい。

---

>同意

解説どうもです。
うちも他学科の専門は勝手に卒単になってました。
一般教養はさすがにならないみたいですが。
数学科の授業とってみようかな。
院試の勉強との兼ね合いが微妙。

---

http://www.kyoto-u.com/lounge/katsura/html/200402/04020003.html

次スレです。て、余計なお世話でした？

---

すれたて乙

ただ今コンパイラの勉強中

---

構成は教科書の2章かどっかにALUとかレジスタとかが
バスで繋ってる図の、3バスのがあったような。

ステートマシン何とかっていうのは、
PCを進めてメモリから命令がIRにセットされて
それがデコードされてALUが起動して計算結果が
出てくるっていう感じに動いてる様を遷移図とかで
説明すればいいんじゃないかなぁ。

---

おきれるかなぁ。不安。

---

もらっとこう。
あと試験３つ。

---