| 玉木 久夫 |
|
我は草なり伸んとす 伸られるとき伸んとす 伸られぬ日は伸ぬなり 伸られる日は伸るなり (高見 順:娘よりの聞書きにつき誤引用の可能性あり) |
|
略歴
1975年 東京大学理学部物理学科卒. 研究分野 計算とアルゴリズムの理論 受賞 1995 International Conference on Logic Programming Best Paper Retrospective Award.
T. Asano, M. de Berg, O. Cheong, L.J. Guibas, J. Snoeyink, H. Tamaki,
Spanning Trees Crossing Few Barriers.
N.Kato, H.Tamaki, T.Tokuyama, Parametric Polymatroid Optimization and
Its Geometric Applications.
T.Asano, N.Katoh, H.Tamaki and T.Tokuyama,
Convertibility among grid filling curves.
K.Iwama, E.Miyano, S.Tajima, H. Tamaki,
Efficient randomized routing algorithms on
the 2-dimensional mesh of buses.
C.Papadimitriou, P.Raghavan, H.Tamaki, and S.Vempala,
Latent semantic indexing: a probalistic analysis.
H. Tamaki and T. Tokuyama,
A Characterizatio of Planar Graphs by Pseudo-Line Arrengements.
Q.P. Gu and H. Tamaki,
Multi-Color Routing in the Undirected Hypercube.
T. Akutsu, H. Tamaki and T. Tokuyama,
Distribution of Distances and Triangles in a Point Set and
Algorithms for Computing the Largest Common Point Set.
T. Asano, N. Katoh, H. Tamaki and T. Tokuyama,
Covering points in the plane by $k$-tours: towards
a polynomial time approximation scheme for general $k$.
Y. Asahiro, K. Iwama, H. Tamaki and T. Tokuyama,
Greedily finding a dense subgraph.
N. H. Bshouty, S.A.Goldman, H.D. Mathias, S. Suri, and
H. Tamaki, Noise-Tolerant Distribution-Free Learning of
General Geometric Concepts.
Q.P. Gu and H. Tamaki,
Routing a Permutation in the
Hypercube by Two Sets of Edge-Disjoint Paths.
P.K. Agarwal, P. Raghavan and H. Tamaki,
Motion Planning for a Steering-Constrained Robot through Moderate
Obstacles.
H. Tamaki and T.Tokuyama,
How to Cut Pseudo-Parabolas into Segments.
C.H. Papadimitriou, P. Raghavan, M. Sudan and H. Tamaki,
Motion Planning on a Graph.
K. Iwano, P. Raghavan and H. Tamaki, Traveling Cameraman Problem.
H. Tamaki, Construction of the Mesh and the Torus Tolerating a
Large Number of Faults.
A.R. Karlin, G.Nelson and H. Tamaki,
On the Fault-Tolerance of the Butterfly.
A. Bar-Noy, P. Raghavan, B. Schieber and H. Tamaki,
Fast Deflection Routing for Packets and Worms.
H. Tamaki, Efficient Self-Embedding of Butterfly Networks
with Random Faults.
H. Tamaki, Robust Bounded-degree Networks with Small Diameters}.
H. Tamaki, Stream-based compilation of ground I/O Prolog into committed
choice languages.
H. Tamaki and T.Sato, OLD resolution with tabulation.
H. Tamaki, A distributed unification scheme for systolic logic programs.
T. Sato and H. Tamaki, Transformational logic program synthesis.
H. Tamaki and T. Sato, Unfold/fold transformation of Logic Programs.
H. Tamaki, Semantics of a logic programming language with a
reducibility predicate.
論文(論文誌)
T.Akutsu, H.Tamaki and T.Tokuyama,
Distribution of distances and triangles in a point set and algorithms
for computing the largest common point sets.
H.Tamaki and T.Tokuyama,
How to Cut Pseudoparabolas into Segments.
H.Tamaki,
Efficient self-embedding of butterfly networks with random faults.
Q.P. Gu and H. Tamaki, Routing a Permutation in the
Hypercube by Two Sets of Edge-Disjoint Paths.
H. Tamaki, Construction of the Mesh and the Torus Tolerating
a Large Number of Faults.
A. Sprague and H. Tamaki, Routings of Involutions for a Hypercube.
T. Sato and H. Tamaki, First Order Compiler.
T. Sato and H. Tamaki, Existential Continuation.
T. Sato and H. Tamaki, A framework for deductive logic program
synthesis.
T. Sato and H. Tamaki,
Enumeration of success patterns in logic programs.
H. Tamaki and T.Sato, Program Transformation through Meta-shifting. |
|
| Copyright by Hisao Tamaki. All Rights Reserved. tamaki@cs.meiji.ac.jp |
|