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), 200813.

FinderP1
and
FinderP2,
Newlisp programs for automated theorem finding in propositional calculus,
2011. Detailed description in
article.

Two hundred thousands reduced λexpressions:
1^{st},
2^{nd},
3^{rd},
4^{th},
5^{th},
6^{th},
7^{th},
8^{th},
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 810^{th},
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. 201

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 prehistorictype 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 389., Vol. 10. (1990.)

Željko Loparić: Kant and the problem of a priori intuitionistyc
semantics, Filozofska istrazivanja, No 3839., Vol. 10. (1990.)

Lectures of New Acropolis: Introduction to the wisdom of east and
west, Filozofska istrazivanja, No 3839., 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. 315.

Unification in propositional calculus,
The Generator,
Vol 1. No 1., March
2004., pp. 1324.

Good
looking circles, The Generator,
Vol 1. No 1. March 2004.,
pp. 38.

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), MathChemComp conference, Dubrovnik, 1999.

EllipseCircle dilemma and inverse
inheritance, In: Proceedings of the
20^{th} International Conference on Information Technology
Interfaces, Pula, Croatia, June 1619. 1998.
(ITI 98),
pp. 62732.

Elimination of
circulus vitiousus from formulas in the form of a graph,
Proceedings of
MIPRO 98, Opatija, 1822. May
1998.

Extension rule for nonclausal propositional calculus,
Fundamenta Informaticae, Vol 31, No 2, 1997., pp. 10716

Data structures for nonclausal 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. 201

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

Sfunctions 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 BMpartitions,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1998.

EllipseCircle Dilemma and Inverse Inheritance,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb,
1998.

Hard cases for 3SAT problems and Davis Putnam algorithm,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.

Extension rule and nonCNF propositional reasoning,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.

GalloScutella hierarchy of propositional formulas,
Seminar on mathematical logic and foundations of mathematics, PMF, Zagreb, 1996.

Van Gelder's method for nonCNF 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.


