Shinichiro Tanaka

According to our database, Shinichiro Tanaka authored at least 3 papers between 2000 and 2024.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2024

Effective Kan Fibrations for W-Types in Homotopy Type Theory.

Shinichiro Tanaka

Proceedings of the 30th International Conference on Types for Proofs and Programs, 2024

2011

Examining the Effect of Connecting Auxiliary Lanes on Mitigation of Expressway Traffic Congestion.

Hisanaga Sato, Jian Xing, Shinichiro Tanaka, Kazuteru Morikita

Int. J. Intell. Transp. Syst. Res., 2011

2000

Backpropagation Algorithm for Logic Oriented Neural Networks.

Takeshi Kamio, Shinichiro Tanaka, Mititada Morisue

Proceedings of the IEEE-INNS-ENNS International Joint Conference on Neural Networks, 2000