Kazimir Majorinc
Kazimir Majorinc
Zagreb, Croatia
 |
|
Upcoming
| New presentations on Lisp, starting in November or December 2015 |
|
Books
The gap between explicit and implicit processing,
~2015. In work.
|
|
|
Logic, (with P. Gregorek and M. Turk),
Školska Knjiga, Zagreb, 1992.
|
|
Software
Default,
Newlisp library
(about 5000 lines, 300 functions and 150 fexprs), 2008-13.
|
Finder-P1
and
Finder-P2,
Newlisp programs for automated theorem finding in propositional calculus,
2011. Detailed description in
article.
|
Two hundred thousands reduced λ-expressions:
1st,
2nd,
3rd,
4th,
5th,
6th,
7th,
8th,
all.
|
Lisp.properties for Scite.
|
| Sexpron
I, Newlisp program for generation of symbolic expressions and
one million generated symbolic expressions,
(compressed file),
Aaron Schwartz Memorial Hackathon, Hacklab
Mama, Zagreb, November 8-10th,
2013. |
|
Popular articles
Political ideology of programmers,
2010.
|
A few examples of Lisp code typography,
2013.
|
Edsger W. Dijkstra on Lisp,
2010.
|
Why
Dijkstra didn't like Lisp?, 2013.
|
The speed of eval in some Lisp implementations,
2008−2013.
|
Three canvas examples in Weblisp, 2008.
|
Missing link between code and data, 2011.
|
Word or two about algorithms, PC Chip, 21 (1997),
p. 20-1
|
Kretian and liar, one paradox or two?,
(with P. Gregorek and M. Turk), Bulletin of Croatian Philosophical Society, Vol. 2. No 3.,
1933.
|
A look in the past - Anthology of primitive poetry,
Godine,
No 1., ZG, 1991.
|
(with M. Miklić and S. Puljar), Reaction of local people to prehistoric-type house built at the workshop,
International workshop for prehistoric architecture, Šolta, 1990.,
in Bulletin of ...
|
Otfried Hoffe: Universal ethics and power of reasoning,
Filozofska istrazivanja, No 38-9., Vol. 10. (1990.)
|
Željko Loparić: Kant and the problem of a priori intuitionistyc
semantics, Filozofska istrazivanja, No 38-39., Vol. 10. (1990.)
|
Lectures of New Acropolis: Introduction to the wisdom of east and
west, Filozofska istrazivanja, No 38-39., Vol. 10. (1990.)
|
Volker Gerhardt: Mind and sense of reasoning - about actuality
of political philosophy of Immanuel Kant, Filozofska istrazivanja,
No 35., Vol. 10. (1990.)
|
| Gunther Bien: Civil life - practical philosophy of Joachim
Ritter, Filozofska istrazivanja, No 35., Vol. 10. (1990.)
|
|
Technical articles
How many
syllogisms are there?, 2013
|
On Pitman's Special Forms in Lisp,
2013
|
Crawler tractor,
2013.
|
Gödel Numbers of Symbolic Expressions and Missing Missing Element,
2013.
|
Automated theorem finding in propositional calculus,
2011.
|
Calibration of glass electrode in terms of H+ Concentration by titration of
weak acid in cells with and without Liquid Junction,
(with T. Gopurenko, Vl. Simeon and V. Tomišić), Croatica Chemica Acta, Vol. 79 No. 4 December
2006.
|
Memoization,
The Generator,
Vol 2. No 1. February 2006.,
pp. 3-15.
|
Unification in propositional calculus,
The Generator,
Vol 1. No 1., March
2004., pp. 13-24.
|
Good
looking circles, The Generator,
Vol 1. No 1. March 2004.,
pp. 3-8.
|
Electrical interfacial layer
at solid/ liquid Interface, (with N. Kallay, A. Čop, D. Kovačević, T.
Preočanin, and S. Žalac), Ann. Univ. Mariae Curie-
Sklodowska, Sect. AA Chem. 57, 2002.
|
Utjecaj elektrolita na agregaciju koloidnih cestica,
(with T. Preocanin, S. Žalac, I. Kobal, N. Kallay), XVII. CCC, Osijek: HKD i HDKI,
2001.
|
Calibration of glass electrode in terms of [H+] and
determination of stoichiometric equilibrium constants,
(with T. Gopurenko and V. Simeon), Math-Chem-Comp conference, Dubrovnik, 1999.
|
Ellipse-Circle dilemma and inverse
inheritance, In: Proceedings of the
20th International Conference on Information Technology
Interfaces, Pula, Croatia, June 16-19. 1998.
(ITI 98),
pp. 627-32.
|
Elimination of
circulus vitiousus from formulas in the form of a graph,
Proceedings of
MIPRO 98, Opatija, 18-22. May
1998.
|
Extension rule for non-clausal propositional calculus,
Fundamenta Informaticae, Vol 31, No 2, 1997., pp. 107-16
|
Data structures for non-clausal propositional
reasoning in C++, MIPRO 97,
1997.
|
Heaps, PC Chip, No 30., November 1997.
|
Binary Trees, PC Chip, No 29., October 1997.
|
Linked lists, PC Chip, No 28., September 1997.
|
Array, stack, queue, PC Chip, No 26/7.,
Jully/August 1997.
|
Sorting with comparison: three advanced
algorithms, PC Chip, No 25., June
1997.
|
Sorting with comparison: three simple algorithms,
PC Chip, No 24.,
May 1997.
|
Sorting with transformations, PC Chip, No 22., March 1997.
|
Word or two about algorithms, PC Chip, 21 (1997),
p. 20-1
|
Dynamic memory management and functions in C++,
PC Chip, No 20., January
1997.
|
| Method of logical equations for automated theorem
finding, Dept of Math, Faculty of Natural Sciences and Mathematics,
UniZG, 1994. |
|
Presentations
Function FUNCTION,
Hacklab Mama, Zagreb, January 25, 2014.
|
PLANNER in 1972, Hacklab Mama, Zagreb, January 18, 2014.
|
MATHCLESS and Actors, Hacklab Mama, Zagreb, January 4, 2014.
|
Discursive overview of PLANNER, Hacklab Mama, Zagreb, December
14, 2013.
|
The structural foundations of problem
solving in Hewitt's PLANNER, Hacklab Mama, Zagreb, December 7, 2013.
|
PLANNER in 1970, Hacklab Mama,
Zagreb, 30. November 2013.
|
PLANNER,
Hacklab Mama,
Zagreb, 23. November
2013.
|
Matchless,
Hacklab Mama,
Zagreb, 16. November
2013.
|
Weizenbaum on FUNARG, Hacklab Mama,
Zagreb, November
2, 2013.
|
Sandewall's Lisp A, Hacklab Mama, Zagreb, October 26,
2013.
|
PDP–1, BBN and PDP–36 Lisp, Hacklab Mama, Zagreb, October
19, 2013.
|
Cooper's equivalences, Hacklab Mama, Zagreb, October 12,
2013.
|
Wooldridge and Lisp,
Hacklab Mama, Zagreb, September 28,
2013.
|
CONVERT,
Hacklab Mama, Zagreb, June 22,
2013.
|
Landin and Lisp, Hacklab Mama,
Zagreb, June 15,
2013.
|
Imperative applicative expressions, Hacklab Mama, Zagreb, June 1,
2013.
|
Mechanical evaluation of expressions (II.), Hacklab Mama,
Zagreb, May 18, 2013.
|
Mechanical evaluation of expressions,
Hacklab Mama, Zagreb, May 11,
2013.
|
LISP 2 (II.), Hacklab Mama, Zagreb, April 20,
2013.
|
LISP 2 (I.), Hacklab Mama, Zagreb, April 13,
2013.
|
Ambitious reformer Lionello Lombardi, Hacklab Mama, Zagreb, March 23,
2013.
|
LISP — Operations and applications (II.), Hacklab Mama,
Zagreb, March 16,
2013.
|
LISP — Operations and applications (I.), Hacklab Mama, Zagreb, March 9,
2013.
|
Hart's macros, Hacklab Mama, Zagreb, March 2,
2013.
|
First international Lisp conference (II.), Hacklab Mama,
Zagreb, February 16,
2013.
|
First international Lisp conference (I.), Hacklab Mama, February
9, 2013.
|
Gilmore's abstract machine,
Hacklab Mama, February 2,
2013.
|
A basis for a mathematical theory of computation (II.),
Hacklab Mama, January 19,
2013.
|
A basis for a mathematical theory of computation,
Hacklab
Mama, Zagreb, January 12, 2013.
|
Lisp 1.5 (III.), Hacklab Mama, Zagreb, January 5,
2013.
|
Lisp 1.5 (II.), Hacklab Mama, Zagreb, December 15,
2012.
|
Lisp 1.5 (I.), Hacklab Mama, Zagreb, December 8,
2012.
|
Toward Lisp 1.5 (II.),
Hacklab Mama, Zagreb, December 1,
2012.
|
Who wrote the first Lisp compiler?,
Hacklab Mama, Zagreb, November
17, 2012
|
S-functions and Turing machines,
Hacklab Mama, Zagreb, November 10,
2012.
|
Toward Lisp 1.5 (I.),
Hacklab Mama, Zagreb, November 3,
2012.
|
Recursive functions on symbolic expression (IV.),
Hacklab
Mama, Zagreb, October 27,
2012.
|
Recursive functions on symbolic expression (III.),
Hacklab
Mama, Zagreb, October 20,
2012.
|
Recursive functions on symbolic expression (II.),
Hacklab
Mama, Zagreb, October 13,
2012.
|
Recursive functions on symbolic expression (I.),
Hacklab
Mama, Zagreb, October 6,
2012.
|
From common reason to recursive
functions, Hacklab Mama, Zagreb, September 29,
2012.
|
Advice Taker, Hacklab Mama, Zagreb, September 15,
2012.
|
Algebraic language for processing of symbolic expressions (II.),
Hacklab Mama, July 28,
2012.
|
Algebraic language for processing of symbolic expressions (I.),
Hacklab Mama,
Zagreb, July 21, 2012.
|
Work in committee, Hacklab MaMa, Zagreb, July 14,
2012.
|
McCarthy's notes on language,
Hacklab MaMa, Zagreb, July 7,
2012.
|
My Lisp blog, NSND Belgrade, April
2011.
|
Why Dijkstra didn't like Lisp,
NSND Split, August 2011.
|
Hygienic Fexprs, NSND Split, August
2010.
|
On B- and BM-partitions,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1998.
|
Ellipse-Circle Dilemma and Inverse Inheritance,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb,
1998.
|
Hard cases for 3-SAT problems and Davis- Putnam algorithm,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.
|
Extension rule and non-CNF propositional reasoning,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.
|
Gallo-Scutella hierarchy of propositional formulas,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.
|
Van Gelder's method for non-CNF SAT problem,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb,
1996.
|
| Method of logical equations for automated theorem finding,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1994.
|
|
|
