2016/08/26 13:00-  python

[前回]
	python のデータ構造
		List, 辞書

			List -> 同じ型のデータが、順序良く並んでいる物
				List にデータの追加や削除ができる
					# 普通は、追加できる場所が限られている
					#	例 : 先頭、最後
						-> 先頭に追加、先頭から取り出し
							-> stack が作れる (FILO)
						-> 先頭に追加、最後から取り出し
							-> queue が作れる (FIFO)

	* データ型 (型:Type)
		<値の集合と、操作の集まり[操作が満す性質]> 
			例 : 整数型
				値の集合 : .., -2, -1, 0, 1, 2, ..
				操作 : 四則 +, -, *, -
					操作が満す性質[公理]
						+)
							a + 0 = a
							(a+1) + b = a + (b+1)
							# ただし、
							#	1 = 0 + 1
							#	2 = 1 + 1
							#	...

							例:
								2 + 3 = ?
									  = 2 + (2+1)
									  = (2+1) + 2
									  = 3 + 2
									  = 3 + (1+1)
									  = (3+1) + 1
									  = 4 + 1
									  = 4 + (0+1)
									  = (4+1) + 0
									  = 5 + 0
									  = 5

		List T:
			値の集合
				[] : -> 空リスト
				Cost : T * List -> List
					[] : List
					Cons (a , [] ) -> [a]
					Cons (b , [a] ) -> [b,a]
						...
			操作
				Head List -> T
				Tail List -> List
					性質
						Head(Cons(a,l))=a
						Tail(Cons(a,l))=l


==
	stack T : データ構造
		[] : 空スタック
		push : T * stack -> stack

		top : stack -> T
		pop : stack -> stack

		[]	-> push 1 ->	[1]
		 	-> push 5 -> 	[5,1]
			-> push 12 ->	[12,5,1]
			-> top -> 12
			-> pop ->		[5,1]


	queue T : データ構造
		[] : 空キュー
		enque : T * qeueu -> queue
		top : qeueu -> T
		deque : qeueu -> queue

		[]	-> enque 1 ->		[1]
		 	-> enque 5 ->		[5,1]
			-> push 12 ->		[12,5,1]
			-> top -> 1
			-> deque ->			[12,5]
			-> top -> 5
			-> deque ->			[12]
			-> top -> 12

==

2016/08/26 15:10-  comp-alpha

[前回]
	comp-alpha : Network の基礎知識(実習を用いて)
		主に CCNA の内容の一部
			Network : IP network の概念的理解
				IP Address / Network Address etc...
				  	# これは、「何」であるか、「どんな役割」を果たしている
			実習
				Host Configuration : Windows PC / Linux box / CISCO Router
				Network Configuration : Router としての利用
					Linux
						How : Bash Command Line
							ifconfig, route, ping, etc...
					CISCO Router
						How : IOS の利用方法

		[前回]
			CISCO Router : Host Config
				Interface に IP Address をふる
					Ethernet の場合は、interface コマンドいっぱつ
					Serial の場合は、DTE/DCE ( 物理そうの概念 ) の設定も必要

			Link : 直接接続しているもの同士の繋がり
			Routing : 他のノードを経由して、間接的に接続する

			Routing : Static Routing
				ネットワーク全体を把握している管理者が、
				全てのネットワークに対する、routing table の内容を考え、
				その内容を、個々の Router に固定的(静的)に設定する
					-> Dynamic Routing (予告)
						Router 同士が、Routing Porotocol を使って、
						Routing 情報を交換し、Routing Table を自動的(動的)に作りあげる