JB01000T｜情報工学基礎理論一般      	｜通信のための情報理論はND02010V「通信理論一般」をも見よ  
        ｜                          	｜                                                        
        ｜                          	｜                                                        
JB02000A｜計算理論                  	｜アルゴリズム理論，計算量理論，計算の複雑さ，計算の可能性
        ｜                          	｜，帰納的関数，プログラム理論など。グラフ理論一般はIA0202
        ｜                          	｜0S「グラフ理論基礎」をも見よ                            
        ｜                          	｜                                                        
JB03000H｜論理代数                  	｜Boole代数，記号論理，しきい値論理，三値論理代数，ファジ 
        ｜                          	｜ィ論理など。ファジィ集合はIA02010H「システム・制御理論一
        ｜                          	｜般」を見よ                                              
        ｜                          	｜                                                        
JB04000O｜オートマトン理論          	｜Turing機械，順序機械，有限オートマトンなど              
        ｜                          	｜                                                        
        ｜                          	｜                                                        
JB05000V｜数理言語学                	｜形式言語，変形理論など                                  
        ｜                          	｜                                                        
        ｜                          	｜                                                        
JB06000C｜その他の情報工学基礎理論  	｜人工知能の理論はJE08000Z「人工知能」を，パターン認識の理
        ｜                          	｜論はJE07000S「パターン認識」を見よ